blob: 5d6839715e78ecb345f61ab2f9783c537668903c [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
class A extends core::Object {
synthetic constructor •() self::A*
;
}
class C<T extends self::A* = self::A*> extends core::Object {
generic-covariant-impl field self::C::T* _field;
synthetic constructor •() self::C<self::C::T*>*
;
method foo(generic-covariant-impl self::C::T* x) dynamic
;
}
class D extends self::C<self::B*> {
synthetic constructor •() self::D*
;
}
abstract class _Foo&Object&C = core::Object with self::C<self::B*> {
synthetic constructor •() self::_Foo&Object&C*
: super core::Object::•()
;
}
class Foo extends self::_Foo&Object&C {
synthetic constructor •() self::Foo*
;
}
class B extends self::A {
synthetic constructor •() self::B*
;
}
static method main() dynamic
;