Analyzer fails to recognize subtype relation in F-bounded type parameter.

[lrhn]

Example:

// Arbitrary generic class.                                                     
class A<X> {}

class B<X extends A<A<X>>> {}
class C<X extends A<X>> extends B<X> {}  // Analyzer error: 

// Example class.
class E extends A<E> {}

main() {
 A<A<E>> e1 = E();
 B<E>();
 C<E>();
}

The analyzer reports the following error:

Analyzing test.dart...                                                          
  error • 'X' doesn't extend 'A<A<X>>' at test.dart:5:35 • type_argument_not_matching_bounds

However, since X <: A<X>, by covariance of generics we also know that A<X> <: A<A<X>>, and by transitivity we know that X <: A<A<X>>, so the error is incorrect.

The code runs without issues on the CFE.

(Might be related to #34726).

[srawlins]

No more error in analyzer 🎉