Unsafe type-incompatible assignments should not be allowed

TypeScript Version: 2.1.6

Code

interface StringOnly {
  val: string;
}

interface StringOrNull {
  val: string | null;
}

const obj: StringOnly = { val: "str" };

// should not be allowed
const nullable: StringOrNull = obj;

nullable.val = null;

// obj is now in a bad state

Expected behavior:
The sample should not compile, as it's not safe. Type casts/assertions should be required to override type incompatibility errors here. (Or, of course, cloning the object itself const nullable: StringOrNull = { ...str };).

For comparison, Flow does not allow the sample code.

Actual behavior:
The sample compiles and further accesses of str.val will likely result in exceptions.

EDIT: Removed all references to readonly, as discussion of that modifier is overshadowing the issue.

Bắt đầu bằng cách biên dịch mẫu TypeScript được cung cấp và lần theo điểm vào của type-checker chấp nhận phép gán từ StringOnly sang StringOrNull. So sánh các quy tắc về khả năng gán nhận được với phép đột biến không an toàn đã nêu, đồng thời xem xét thảo luận hiện có trước khi xác định hành vi nào và phạm vi kiểm thử hồi quy nào được coi là hoàn tất.