co19_2/LanguageFeatures/Instantiate-to-bound/nonfunction_typedef/dynamic/nonfunction_l2_t08 expectation

[eernstg]

Said test expects a specific raw type, but the type alias should be a compile-time error because its declared bounds do not ensure that the type arguments are appropriate for the body.

That is, we can't use X1 <: X2, X2 <: B<X1, X2> to prove that X1 <: B<X1, X2>, as required in order to make the body of the type regular-bounded.

Cf. this text, which says that the body of a type alias must be regular-bounded when the type arguments to the type alias satisfy their bounds.