co19/LanguageFeatures/nnbd/type_reification_A01_t03 has an incorrect expectation

[alexmarkov]

This test has expectation

co19/LanguageFeatures/nnbd/type_reification_A01_t03.dart

Line 50 in 3839b03

Expect.isFalse(test4 is F2<int, B<Object>, A1>);

It also has explicit requirement nnbd-weak, so this test runs in NNBD weak mode.

test4 has type

<B1 extends B<dynamic>>(A1) => int

and F2<int, B<Object>, A1> expands into

<YY extends B<Object>>(A1) => int

These function types are compatible because bounds of generic type parameters B<dynamic> and B<Object> are mutual subtypes in NNBD weak mode (but not in strong mode).

So the expectation should be

Expect.isTrue(test4 is F2<int, B<Object>, A1>);