`strictNullChecks` short-circuits the subsequent type checks

Bug Report

hello， I encounter a strange bug when I use strictNullChecks: true, and here is an example:

interface A {
  a: number;
}
const list: A[] = [];
list[0] ??= {};  // throw an error: Property 'a' is missing in type '{}' but required in type 'A'
list[0] = list[0] ?? {};  // the type checking not work !
list[0] = list[0] || {};  // the type checking not work !

🔎 Search Terms

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

It seems the type checking works after I close the strictNullChecks options
Playground link with relevant code

💻 Code

interface A {
  a: number;
}
const list: A[] = [];
list[0] ??= {};  // throw an error: Property 'a' is missing in type '{}' but required in type 'A'
list[0] = list[0] ?? {};  // the type checking not work !
list[0] = list[0] || {};  // the type checking not work !

🙁 Actual behavior

list[0] = list[0] ?? {}; doens't throw any errors

🙂 Expected behavior

I expect that list[0] = list[0] ?? {}; should throw an error

Bắt đầu với TypeScript Playground được liên kết và tái hiện ví dụ khi đã bật strictNullChecks, so sánh ??= với các phép gán ?? và || tiếp theo. Truy vết đường đi kiểm tra kiểu cho các dạng phép gán này và thêm hoặc cập nhật một bài kiểm thử hồi quy cho thấy việc gán một đối tượng chưa đầy đủ sẽ báo lỗi thuộc tính bị thiếu.