Inconsistent error messages with circular base type argument

I noticed here that a type argument to a base class can reference property types in the same class, so I wondered what would happen if I tried to reference an inherited property type that itself depends on the type argument. To its credit, the compiler didn't crash, but the errors I got didn't make much sense.

TypeScript Version: master (e1a4c2779f93c8389d1589e543920a61771e97ec)

Search Terms: circular self referential base extends type argument property same class lookup type

Code

class Super<T> {
  foo!: T;
}
class Sub extends Super<Sub["bar"]> {
  bar!: Sub["foo"];  // Actual: Error: "Property 'foo' does not exist on type 'Sub'."
  baz!: Sub["foo"];  // Actual: No error
}

Expected behavior: An error that indicates that circular type annotations are involved.

Actual behavior: As marked.

Playground Link: link

Related Issues: None found, but this is hard to search for.

Tái hiện sự khác biệt từ Playground Link được cung cấp bằng bản sửa đổi master của TypeScript được nêu trong báo cáo, sau đó theo dõi hành vi của compiler đối với đối số kiểu cơ sở vòng. Hoàn tất khi các trường hợp bar và baz nhận được một chẩn đoán nhất quán cho biết có liên quan đến các chú thích kiểu vòng, thay vì các kết quả không khớp hiện tại.