library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  function f<T extends core::Object? = dynamic>(core::List<T%> l) → T%
    return l.{core::List::[]}(0){(core::int) → T%};
  core::int x = f<core::int>(<core::int>[0]){(core::List<core::int>) → core::int};
}