library #lib;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  dynamic x = [@vm.inferred-type.metadata=dart.core::_List<InterfaceType(int*)>] core::_List::•<core::int*>(10);
  [@vm.direct-call.metadata=_IntegerImplementation::+??] [@vm.direct-call.metadata=_List::[]] [@vm.inferred-type.metadata=int? (receiver not int)] x.[](0).+(10);
}