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

class Diagnosticable extends core::Object {
  synthetic constructor •() → self::Diagnosticable
    ;
}
abstract class _SomeClass&Object&Diagnosticable = core::Object with self::Diagnosticable /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_SomeClass&Object&Diagnosticable
    : super core::Object::•()
    ;
}
class SomeClass extends self::_SomeClass&Object&Diagnosticable {
  synthetic constructor •() → self::SomeClass
    ;
}
abstract class _State&Object&Diagnosticable = core::Object with self::Diagnosticable /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_State&Object&Diagnosticable
    : super core::Object::•()
    ;
}
class State<T extends core::Object? = dynamic> extends self::_State&Object&Diagnosticable {
  synthetic constructor •() → self::State<self::State::T%>
    ;
}
class StateA extends self::State<dynamic> {
  synthetic constructor •() → self::StateA
    ;
}
class StateB extends self::State<core::int> {
  synthetic constructor •() → self::StateB
    ;
}
static field self::StateA? a;
static field self::StateB b;
static method foo<T extends core::Object? = dynamic>(self::foo::T% x) → dynamic
  ;
static method main() → dynamic
  ;