pkg/front_end/testcases/nnbd/load_library.dart.strong.transformed.expect

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

import "dart:math" deferred as math;

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

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