pkg/front_end/testcases/patterns/language_issue2770.dart.weak.transformed.expect

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

class Class<T extends core::Object> extends core::Object {
  covariant-by-class field self::Class::T field;
  constructor •(self::Class::T field) → self::Class<self::Class::T>
    : self::Class::field = field, super core::Object::•()
    ;
}
static method method1(core::Object object) → dynamic {
  {
    hoisted core::Object field;
    final synthesized core::Object #0#0 = object;
    if(#0#0 is self::Class<core::Object> && (let final core::Object #t1 = field = #0#0{self::Class<core::Object>}.{self::Class::field}{core::Object} in true)) {
      core::print(field);
    }
  }
}
static method main() → dynamic {
  self::method1(new self::Class::•<core::int>(42));
  self::method1(new self::Class::•<core::String>("foo"));
}