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.

Reproduisez la divergence à partir du Playground Link fourni en utilisant la révision master de TypeScript indiquée dans le rapport, puis suivez le comportement du compilateur pour l’argument de type de base circulaire. La tâche est considérée comme terminée lorsque les cas bar et baz reçoivent un diagnostic cohérent indiquant que des annotations de type circulaires sont impliquées, plutôt que les résultats actuellement incohérents.