blob: 5111de95845eeaaf7d0b66b704c40d11d8005588 [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/issue45660.dart:11:22: Error: Inferred type argument 'String' doesn't conform to the bound 'num' of the type variable 'T' on 'call'.
// Try specifying type arguments explicitly so that they conform to the bounds.
// extendsNumReturnArg/*<String>*/("");
// ^
//
import self as self;
import "dart:core" as core;
static field <T extends core::num* = dynamic>(T*) →* T* extendsNumReturnArg = <S extends core::num*>(S* s) S* => s;
static method functionInvocations() dynamic {
self::extendsNumReturnArg<Null>(null){(Null) →* Null};
self::extendsNumReturnArg<core::String*>(""){(core::String*) →* core::String*};
}
static method main() dynamic {}