co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A24_t02 fails in analyzer

[sgrekhov]

Test https://github.com/dart-lang/co19/blob/master/LanguageFeatures/Extension-types/static_analysis_extension_types_A24_t02.dart fails in analyzer

Failure log is

/===================================================================================================================================\
| co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A24_t02 is new and failed (CompileTimeError, expected Pass) |
\===================================================================================================================================/

--- Command "dart2analyzer" (took 175ms):
DART_CONFIGURATION=ReleaseX64 out/ReleaseX64/dart-sdk/bin/dart out/ReleaseX64/gen/dartanalyzer.dart.snapshot -Dtest_runner.configuration=analyzer-asserts-linux --enable-experiment=inline-class --ignore-unrecognized-flags --packages=/b/s/w/ir/cache/builder/sdk/.dart_tool/package_config.json --format=json /b/s/w/ir/cache/builder/sdk/tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A24_t02.dart

unexpected analysis errors in static_analysis_extension_types_A24_t02.dart:
- Line 70, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function() Function(ET2<dynamic> Function())' doesn't conform to
  the bound 'ET2<T> Function<T>() Function(ET2<T> Function<T>())' of the type
  parameter 'R'.

- Line 71, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int) Function(ET2<dynamic> Function(int))' doesn't
  conform to the bound 'ET2<T> Function<T>(int) Function(ET2<T>
  Function<T>(int))' of the type parameter 'R'.

- Line 72, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int, int) Function(ET2<dynamic> Function(int, int))'
  doesn't conform to the bound 'ET2<T> Function<T>(int, int) Function(ET2<T>
  Function<T>(int, int))' of the type parameter 'R'.

- Line 73, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int, [int]) Function(ET2<dynamic> Function(int, [int]))'
  doesn't conform to the bound 'ET2<T> Function<T>(int, [int]) Function(ET2<T>
  Function<T>(int, [int]))' of the type parameter 'R'.

- Line 74, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int, {int b}) Function(ET2<dynamic> Function(int, {int
  b}))' doesn't conform to the bound 'ET2<T> Function<T>(int, {int b})
  Function(ET2<T> Function<T>(int, {int b}))' of the type parameter 'R'.

- Line 75, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int, {required int b}) Function(ET2<dynamic>
  Function(int, {required int b}))' doesn't conform to the bound 'ET2<T>
  Function<T>(int, {required int b}) Function(ET2<T> Function<T>(int, {required
  int b}))' of the type parameter 'R'.

- Line 77, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function() Function(ET2<dynamic> Function())' doesn't conform to
  the bound 'ET2<T> Function<T>() Function(ET2<T> Function<T>())' of the type
  parameter 'R'.

- Line 78, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET2<dynamic> Function(int) Function(ET2<dynamic> Function(int))' doesn't
  conform to the bound 'ET2<T> Function<T>(int) Function(ET2<T>
  Function<T>(int))' of the type parameter 'R'.

- Line 80, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function() Function(ET3<num> Function())' doesn't conform to the bound
  'ET3<T> Function<T extends num>() Function(ET3<T> Function<T extends num>())'
  of the type parameter 'R'.

- Line 81, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int) Function(ET3<num> Function(int))' doesn't conform to the
  bound 'ET3<T> Function<T extends num>(int) Function(ET3<T> Function<T extends
  num>(int))' of the type parameter 'R'.

- Line 82, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int, int) Function(ET3<num> Function(int, int))' doesn't
  conform to the bound 'ET3<T> Function<T extends num>(int, int) Function(ET3<T>
  Function<T extends num>(int, int))' of the type parameter 'R'.

- Line 83, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int, [int]) Function(ET3<num> Function(int, [int]))' doesn't
  conform to the bound 'ET3<T> Function<T extends num>(int, [int])
  Function(ET3<T> Function<T extends num>(int, [int]))' of the type parameter
  'R'.

- Line 84, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int, {int b}) Function(ET3<num> Function(int, {int b}))'
  doesn't conform to the bound 'ET3<T> Function<T extends num>(int, {int b})
  Function(ET3<T> Function<T extends num>(int, {int b}))' of the type parameter
  'R'.

- Line 85, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int, {required int b}) Function(ET3<num> Function(int,
  {required int b}))' doesn't conform to the bound 'ET3<T> Function<T extends
  num>(int, {required int b}) Function(ET3<T> Function<T extends num>(int,
  {required int b}))' of the type parameter 'R'.

- Line 86, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function() Function(ET3<num> Function())' doesn't conform to the bound
  'ET3<T> Function<T extends num>() Function(ET3<T> Function<T extends num>())'
  of the type parameter 'R'.

- Line 87, column 27: COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
  'ET3<num> Function(int) Function(ET3<num> Function(int))' doesn't conform to the
  bound 'ET3<T> Function<T extends num>(int) Function(ET3<T> Function<T extends
  num>(int))' of the type parameter 'R'.

--- Re-run this test:
python3 tools/test.py -n analyzer-asserts-linux co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A24_t02

[bwilkerson]

@scheglov