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 {}