pkg/front_end/testcases/nnbd/load_library.dart.weak.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:async" as asy;

import "dart:math" deferred as math;

static method main() → dynamic {
  asy::Future<dynamic> v1 = LoadLibrary(math);
  v1.{asy::Future::then}<Null>((dynamic _) → Null {});
  () → asy::Future<dynamic> v2 = #C1;
  v2.call().{asy::Future::then}<Null>((dynamic _) → Null {});
}
static method _#loadLibrary_math() → asy::Future<dynamic>
  return LoadLibrary(math);

constants  {
  #C1 = tearoff self::_#loadLibrary_math
}