pkg/front_end/testcases/general/null_check_type_variable_type.dart.weak.expect

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

class Element extends core::Object {
  synthetic constructor •() → self::Element
    : super core::Object::•()
    ;
}
class Class<E extends self::Element?> extends core::Object {
  generic-covariant-impl field self::Class::E? element;
  constructor •(self::Class::E? element) → self::Class<self::Class::E%>
    : self::Class::element = element, super core::Object::•()
    ;
  method setElement(generic-covariant-impl self::Class::E? element) → void {
    if(!(this.{self::Class::element}{self::Class::E?} =={core::Object::==}{(core::Object) → core::bool} element)) {
      this.{self::Class::element} = element;
      core::Set<self::Element> elements = col::LinkedHashSet::•<self::Element>();
      if(!(element == null)) {
        elements.{core::Set::add}(element{self::Class::E% & self::Element /* '%' & '!' = '!' */}){(self::Element) → core::bool};
      }
      if(!(this.{self::Class::element}{self::Class::E?} == null)) {
        elements.{core::Set::add}(this.{self::Class::element}{self::Class::E?}!){(self::Element) → core::bool};
      }
    }
  }
}
static method main() → dynamic {}