blob: 0837a97c4fe63fb6ae890421bcda6079467fdc57 [file] [log] [blame]
library test /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/inference_new/static_assign_combiner.dart:28:7: Error: The type 'A' of the getter 'target' is not a subtype of the type 'B' of the setter 'target'.
// - 'A' is from 'pkg/front_end/testcases/inference_new/static_assign_combiner.dart'.
// - 'B' is from 'pkg/front_end/testcases/inference_new/static_assign_combiner.dart'.
// A get target => throw '';
// ^^^^^^
// pkg/front_end/testcases/inference_new/static_assign_combiner.dart:30:10: Context: This is the declaration of the setter 'target'.
// void set target(B value) {}
// ^^^^^^
//
import self as self;
import "dart:core" as core;
class A extends core::Object {
synthetic constructor •() self::A
;
operator +(core::int value) self::C
;
operator *(self::D value) self::C
;
}
class B extends core::Object {
synthetic constructor •() self::B
;
operator +(core::int value) self::E
;
operator *(self::F value) self::E
;
}
class C extends self::B {
synthetic constructor •() self::C
;
}
class D extends core::Object {
synthetic constructor •() self::D
;
}
class E extends core::Object {
synthetic constructor •() self::E
;
}
class F extends core::Object {
synthetic constructor •() self::F
;
}
static method f<T extends core::Object? = dynamic>() self::f::T%
;
static get target() self::A
;
static set target(self::B value) void
;
static method test1() void
;
static method test2() void
;
static method test3() void
;
static method main() dynamic
;