pkg/front_end/testcases/constructor_tearoffs/const_tear_off.dart.strong.transformed.expect

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

typedef B<T extends core::Object? = dynamic> = self::A<T%>;
typedef C<unrelated T extends core::Object? = dynamic> = self::A<core::int>;
class A<T extends core::Object? = dynamic> extends core::Object {
  static final field dynamic _redirecting# = <dynamic>[self::A::redirect]/*isLegacy*/;
  constructor •() → self::A<self::A::T%>
    : super core::Object::•()
    ;
  static factory fact<T extends core::Object? = dynamic>() → self::A<self::A::fact::T%>
    return new self::A::•<self::A::fact::T%>();
  static factory redirect<T extends core::Object? = dynamic>() → self::A<self::A::redirect::T%>
    let Never #redirecting_factory = self::A::• in let self::A::redirect::T% #typeArg0 = null in invalid-expression;
}
static const field <T extends core::Object? = dynamic>() → self::A<T%> a = #C1;
static const field () → self::A<core::int> b = #C2;
static const field <T extends core::Object? = dynamic>() → self::A<T%> c = #C3;
static const field () → self::A<core::int> d = #C4;
static const field <T extends core::Object? = dynamic>() → self::A<T%> e = #C5;
static const field () → self::A<core::int> f = #C6;
static const field <T extends core::Object? = dynamic>() → self::A<T%> g = #C1;
static const field () → self::A<core::int> h = #C2;
static const field <T extends core::Object? = dynamic>() → self::A<T%> i = #C3;
static const field () → self::A<core::int> j = #C4;
static const field <T extends core::Object? = dynamic>() → self::A<T%> k = #C5;
static const field () → self::A<core::int> l = #C6;
static const field <unrelated T extends core::Object? = dynamic>() → self::A<core::int> m = #C7;
static const field () → self::A<core::int> n = #C2;
static const field <unrelated T extends core::Object? = dynamic>() → self::A<core::int> o = #C8;
static const field () → self::A<core::int> p = #C4;
static const field <unrelated T extends core::Object? = dynamic>() → self::A<core::int> q = #C9;
static const field () → self::A<core::int> r = #C6;
static method main() → dynamic {
  <T extends core::Object? = dynamic>() → self::A<T%> a = #C1;
  () → self::A<core::int> b = #C2;
  <T extends core::Object? = dynamic>() → self::A<T%> c = #C3;
  () → self::A<core::int> d = #C4;
  <T extends core::Object? = dynamic>() → self::A<T%> e = #C5;
  () → self::A<core::int> f = #C6;
  <T extends core::Object? = dynamic>() → self::A<T%> g = #C1;
  () → self::A<core::int> h = #C2;
  <T extends core::Object? = dynamic>() → self::A<T%> i = #C3;
  () → self::A<core::int> j = #C4;
  <T extends core::Object? = dynamic>() → self::A<T%> k = #C5;
  () → self::A<core::int> l = #C6;
  <unrelated T extends core::Object? = dynamic>() → self::A<core::int> m = #C7;
  () → self::A<core::int> n = #C2;
  <unrelated T extends core::Object? = dynamic>() → self::A<core::int> o = #C8;
  () → self::A<core::int> p = #C4;
  <unrelated T extends core::Object? = dynamic>() → self::A<core::int> q = #C9;
  () → self::A<core::int> r = #C6;
}

constants  {
  #C1 = constructor-tearoff self::A::•
  #C2 = instantiation self::A::• <core::int>
  #C3 = static-tearoff self::A::fact
  #C4 = instantiation self::A::fact <core::int>
  #C5 = redirecting-factory-tearoff self::A::redirect
  #C6 = instantiation self::A::redirect <core::int>
  #C7 = typedef-tearoff <unrelated T extends core::Object? = dynamic>.(#C1<core::int>)
  #C8 = typedef-tearoff <unrelated T extends core::Object? = dynamic>.(#C3<core::int>)
  #C9 = typedef-tearoff <unrelated T extends core::Object? = dynamic>.(#C5<core::int>)
}