library;
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*};
}