pkg/vm/testcases/transformations/type_flow/transformer/regress_47878.dart.expect

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

abstract class Disposable extends core::Object {
}
abstract class A extends core::Object {
}
abstract class Data<T extends core::Object? = dynamic> extends core::Object {
}
class DataStream<T extends core::Object? = dynamic> extends core::Object {
  constructor •() → self::DataStream<self::DataStream::T%>
    : super core::Object::•() {
    self::DataStream::T? lastValue = block {
      #C1!;
    } =>throw "Attempt to execute code removed by Dart AOT compiler (TFA)";
    if(!(throw "Attempt to execute code removed by Dart AOT compiler (TFA)") && false && !([@vm.inferred-type.metadata=dart.core::bool (skip check) (receiver not int)] lastValue{self::DataStream::T & self::Disposable /* '!' & '!' = '!' */} =={core::Object::==}{(core::Object) → core::bool} #C1)) {
    }
  }
}
static method main() → void {
  new self::DataStream::•<self::A>();
}
constants  {
  #C1 = null
}