| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:29:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Class?'. |
| // - 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| // Try changing the operand or remove the type arguments. |
| // c1<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:30:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'GetterCall'. |
| // - 'GetterCall' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| // Try changing the operand or remove the type arguments. |
| // c2<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:31:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'int?'. |
| // Try changing the operand or remove the type arguments. |
| // i<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:32:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'T'. |
| // Try changing the operand or remove the type arguments. |
| // t1<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:33:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'T?'. |
| // Try changing the operand or remove the type arguments. |
| // t2<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:34:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'S?'. |
| // Try changing the operand or remove the type arguments. |
| // s<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:36:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Never'. |
| // Try changing the operand or remove the type arguments. |
| // n<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:37:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'. |
| // Try changing the operand or remove the type arguments. |
| // d<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:38:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'String'. |
| // Try changing the operand or remove the type arguments. |
| // a<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:39:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'double'. |
| // Try changing the operand or remove the type arguments. |
| // b<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:40:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'bool'. |
| // Try changing the operand or remove the type arguments. |
| // c<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:41:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'FutureOr<Class>'. |
| // - 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| // Try changing the operand or remove the type arguments. |
| // f2<int>; // error |
| // ^ |
| // |
| // pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:42:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Function'. |
| // - 'Function' is from 'dart:core'. |
| // Try changing the operand or remove the type arguments. |
| // f3<int>; // error |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| import "dart:async"; |
| |
| class Class extends core::Object { |
| synthetic constructor •() → self::Class |
| : super core::Object::•() |
| ; |
| method call<T extends core::Object? = dynamic>() → dynamic {} |
| } |
| class GetterCall extends core::Object { |
| synthetic constructor •() → self::GetterCall |
| : super core::Object::•() |
| ; |
| get call() → <T extends core::Object? = dynamic>() → void |
| return <T extends core::Object? = dynamic>() → void {}; |
| } |
| extension Extension on core::int { |
| method call = self::Extension|call; |
| tearoff call = self::Extension|get#call; |
| } |
| extension ExtensionGetter on core::double { |
| get call = self::ExtensionGetter|get#call; |
| } |
| extension ExtensionSetter on core::bool { |
| set call = self::ExtensionSetter|set#call; |
| } |
| extension Ambiguous1 on core::String { |
| method call = self::Ambiguous1|call; |
| tearoff call = self::Ambiguous1|get#call; |
| } |
| extension Ambiguous2 on core::String { |
| method call = self::Ambiguous2|call; |
| tearoff call = self::Ambiguous2|get#call; |
| } |
| static method method<T extends self::Class, S extends core::int>(self::Class c, core::int i, self::method::T t, self::method::S s) → dynamic { |
| c.{self::Class::call}{<T extends core::Object? = dynamic>() → dynamic}<core::int>; |
| self::Extension|get#call(i)<core::int>; |
| t.{self::Class::call}{<T extends core::Object? = dynamic>() → dynamic}<core::int>; |
| self::Extension|get#call(s)<core::int>; |
| } |
| static method test<T extends self::Class?, S extends core::int>(self::Class? c1, self::GetterCall c2, core::int? i, self::test::T% t1, self::test::T? t2, self::test::S? s, <T extends core::Object? = dynamic>() →? void f1, Never n, dynamic d, core::String a, core::double b, core::bool c, FutureOr<self::Class>f2, core::Function f3) → dynamic { |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:29:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Class?'. |
| - 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| Try changing the operand or remove the type arguments. |
| c1<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:30:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'GetterCall'. |
| - 'GetterCall' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| Try changing the operand or remove the type arguments. |
| c2<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:31:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'int?'. |
| Try changing the operand or remove the type arguments. |
| i<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:32:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'T'. |
| Try changing the operand or remove the type arguments. |
| t1<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:33:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'T?'. |
| Try changing the operand or remove the type arguments. |
| t2<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:34:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'S?'. |
| Try changing the operand or remove the type arguments. |
| s<int>; // error |
| ^"; |
| f1<core::int>; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:36:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Never'. |
| Try changing the operand or remove the type arguments. |
| n<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:37:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'. |
| Try changing the operand or remove the type arguments. |
| d<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:38:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'String'. |
| Try changing the operand or remove the type arguments. |
| a<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:39:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'double'. |
| Try changing the operand or remove the type arguments. |
| b<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:40:4: Error: The static type of the explicit instantiation operand must be a generic function type but is 'bool'. |
| Try changing the operand or remove the type arguments. |
| c<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:41:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'FutureOr<Class>'. |
| - 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart'. |
| Try changing the operand or remove the type arguments. |
| f2<int>; // error |
| ^"; |
| invalid-expression "pkg/front_end/testcases/constructor_tearoffs/callable_instantiation.dart:42:5: Error: The static type of the explicit instantiation operand must be a generic function type but is 'Function'. |
| - 'Function' is from 'dart:core'. |
| Try changing the operand or remove the type arguments. |
| f3<int>; // error |
| ^"; |
| } |
| static method Extension|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {} |
| static method Extension|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic |
| return <T extends core::Object? = dynamic>() → dynamic => self::Extension|call<T%>(#this); |
| static method ExtensionGetter|get#call(lowered final core::double #this) → <T extends core::Object? = dynamic>() → void |
| return <T extends core::Object? = dynamic>() → void {}; |
| static method ExtensionSetter|set#call(lowered final core::bool #this, <T extends core::Object? = dynamic>() → void value) → void {} |
| static method Ambiguous1|call<T extends core::Object? = dynamic>(lowered final core::String #this) → dynamic {} |
| static method Ambiguous1|get#call(lowered final core::String #this) → <T extends core::Object? = dynamic>() → dynamic |
| return <T extends core::Object? = dynamic>() → dynamic => self::Ambiguous1|call<T%>(#this); |
| static method Ambiguous2|call<T extends core::Object? = dynamic>(lowered final core::String #this) → dynamic {} |
| static method Ambiguous2|get#call(lowered final core::String #this) → <T extends core::Object? = dynamic>() → dynamic |
| return <T extends core::Object? = dynamic>() → dynamic => self::Ambiguous2|call<T%>(#this); |
| static method main() → dynamic { |
| self::method<self::Class, core::int>(new self::Class::•(), 0, new self::Class::•(), 0); |
| } |