pkg/front_end/testcases/inline_class/extension_types/constructor_access.dart.weak.expect

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

inline class Class /* declaredRepresentationType = core::int */ {
  constructor • = self::Class|;
  tearoff • = self::Class|_#new#tearOff;
  constructor named = self::Class|named;
  tearoff named = self::Class|_#named#tearOff;
}
inline class GenericClass<T extends core::Object? = dynamic> /* declaredRepresentationType = T% */ {
  constructor • = self::GenericClass|;
  tearoff • = self::GenericClass|_#new#tearOff;
}
static inline-class-member method Class|(dynamic it) → self::Class {
  lowered final self::Class #this = it;
  return #this;
}
static inline-class-member method Class|_#new#tearOff(dynamic it) → self::Class
  return self::Class|(it);
static inline-class-member method Class|named(core::int it) → self::Class {
  lowered final self::Class #this = it.{core::num::+}(1){(core::num) → core::int};
  return #this;
}
static inline-class-member method Class|_#named#tearOff(core::int it) → self::Class
  return self::Class|named(it);
static inline-class-member method GenericClass|<T extends core::Object? = dynamic>(dynamic it) → self::GenericClass<self::GenericClass|::T%> {
  lowered final self::GenericClass<self::GenericClass|::T%> #this = it;
  return #this;
}
static inline-class-member method GenericClass|_#new#tearOff<T extends core::Object? = dynamic>(dynamic it) → self::GenericClass<self::GenericClass|_#new#tearOff::T%>
  return self::GenericClass|<self::GenericClass|_#new#tearOff::T%>(it);
static method main() → dynamic {
  self::Class a = self::Class|(3);
  self::Class b = self::Class|(4);
  self::Class b2 = #C1(4){(dynamic) → self::Class};
  self::Class c = self::Class|named(5);
  self::Class c2 = #C2(5){(core::int) → self::Class};
  self::GenericClass<core::String> d = self::GenericClass|<core::String>("foo");
  self::GenericClass<core::String> d2 = #C4("foo"){(dynamic) → self::GenericClass<core::String>};
  self::GenericClass<core::String> d3 = #C3<core::String>("foo"){(dynamic) → self::GenericClass<core::String>};
  self::GenericClass<core::String> e = self::GenericClass|<core::String>("bar");
  self::GenericClass<core::String> e2 = #C4("bar"){(dynamic) → self::GenericClass<core::String>};
  self::GenericClass<core::String> e3 = #C3<core::String>("bar"){(dynamic) → self::GenericClass<core::String>};
  self::GenericClass<core::int> f = self::GenericClass|<core::int>(42);
  self::GenericClass<core::int> f2 = #C5(42){(dynamic) → self::GenericClass<core::int>};
  self::GenericClass<core::int> f3 = #C3<core::int>(42){(dynamic) → self::GenericClass<core::int>};
  self::GenericClass<dynamic> g = self::GenericClass|<dynamic>(87);
  self::GenericClass<dynamic> g2 = #C3<dynamic>(87){(dynamic) → self::GenericClass<dynamic>};
  self::GenericClass<core::num> h = self::GenericClass|<core::num>(123);
  self::GenericClass<core::num> h2 = #C3<core::num>(123){(dynamic) → self::GenericClass<core::num>};
  self::expect(3, a as{Unchecked} core::int);
  self::expect(3, a);
  self::expect(4, b as{Unchecked} core::int);
  self::expect(4, b);
  self::expect(4, b2 as{Unchecked} core::int);
  self::expect(4, b2);
  self::expect(6, c as{Unchecked} core::int);
  self::expect(6, c);
  self::expect(6, c2 as{Unchecked} core::int);
  self::expect(6, c2);
  self::expect("foo", d as{Unchecked} core::String);
  self::expect("foo", d);
  self::expect("foo", d2 as{Unchecked} core::String);
  self::expect("foo", d2);
  self::expect("foo", d3 as{Unchecked} core::String);
  self::expect("foo", d3);
  self::expect("bar", e as{Unchecked} core::String);
  self::expect("bar", e);
  self::expect("bar", e2 as{Unchecked} core::String);
  self::expect("bar", e2);
  self::expect("bar", e3 as{Unchecked} core::String);
  self::expect("bar", e3);
  self::expect(42, f as{Unchecked} core::int);
  self::expect(42, f);
  self::expect(42, f2 as{Unchecked} core::int);
  self::expect(42, f2);
  self::expect(42, f3 as{Unchecked} core::int);
  self::expect(42, f3);
  self::expect(87, g as{Unchecked} dynamic);
  self::expect(87, g);
  self::expect(87, g2 as{Unchecked} dynamic);
  self::expect(87, g2);
  self::expect(123, h as{Unchecked} core::num);
  self::expect(123, h);
  self::expect(123, h2 as{Unchecked} core::num);
  self::expect(123, h2);
}
static method expect(dynamic expected, dynamic actual) → dynamic {
  if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))
    throw "Expected ${expected}, actual ${actual}";
}

constants  {
  #C1 = static-tearoff self::Class|_#new#tearOff
  #C2 = static-tearoff self::Class|_#named#tearOff
  #C3 = static-tearoff self::GenericClass|_#new#tearOff
  #C4 = instantiation #C3 <core::String*>
  #C5 = instantiation #C3 <core::int*>
}