blob: 11fc86ac44d8e66bc10cd4e6d33c6e4aeec0be32 [file] [log] [blame]
library test;
//
// Problems in library:
//
// pkg/front_end/testcases/inference/instantiate_tearoff_of_call.dart:10:12: Error: A value of type 'T Function<T>(T)' can't be assigned to a variable of type 'int Function(int)'.
// func = f.call;
// ^
//
import self as self;
import "dart:core" as core;
static method test(<T extends core::Object* = dynamic>(T*) →* T* f) void {
(core::int*) →* core::int* func;
func = let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/inference/instantiate_tearoff_of_call.dart:10:12: Error: A value of type 'T Function<T>(T)' can't be assigned to a variable of type 'int Function(int)'.
func = f.call;
^" in f.call as{TypeError} (core::int*) →* core::int*;
}
static method main() → dynamic {}