blob: c2e072c985a32481409871911c11398ca32454dc [file] [log] [blame]
//
// Problems in component:
//
// pkg/front_end/testcases/nnbd_mixed/inheritance_from_opt_in.dart:25:7: Error: 'LegacyClass4e' can't implement both 'GenericInterface<num>' and 'GenericInterface<num?>'
// - 'GenericInterface' is from 'pkg/front_end/testcases/nnbd_mixed/inheritance_from_opt_in_lib.dart'.
// class LegacyClass4e implements Class4a, Class4b {}
// ^
//
// pkg/front_end/testcases/nnbd_mixed/inheritance_from_opt_in.dart:27:7: Error: 'LegacyClass5' can't implement both 'GenericInterface<dynamic>' and 'GenericInterface<Object>'
// - 'GenericInterface' is from 'pkg/front_end/testcases/nnbd_mixed/inheritance_from_opt_in_lib.dart'.
// - 'Object' is from 'dart:core'.
// class LegacyClass5 extends Class5 implements GenericInterface<Object> {}
// ^
//
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/inheritance_from_opt_in.dart:5:1: Error: A library can't opt out of non-nullable by default, when in nnbd-strong mode.
// // @dart=2.5
// ^^^^^^^^^^^^
//
import self as self;
import "inheritance_from_opt_in_lib.dart" as inh;
import "dart:core" as core;
import "org-dartlang-testcase:///inheritance_from_opt_in_lib.dart";
class LegacyClass1 extends inh::Class1 {
synthetic constructor •() self::LegacyClass1
;
}
class LegacyClass2<T extends core::Object? = dynamic> extends inh::Class2<self::LegacyClass2::T%> {
synthetic constructor •() self::LegacyClass2<self::LegacyClass2::T%>
;
}
class LegacyClass3a<T extends core::Object? = dynamic> extends inh::Class3<self::LegacyClass3a::T%> {
synthetic constructor •() self::LegacyClass3a<self::LegacyClass3a::T%>
;
}
class LegacyClass3b<T extends core::Object? = dynamic> extends inh::Class3<self::LegacyClass3b::T%> implements inh::GenericInterface<self::LegacyClass3b::T%> {
synthetic constructor •() self::LegacyClass3b<self::LegacyClass3b::T%>
;
}
class LegacyClass4a extends inh::Class4a {
synthetic constructor •() self::LegacyClass4a
;
}
class LegacyClass4b extends core::Object implements inh::GenericInterface<core::num> {
synthetic constructor •() self::LegacyClass4b
;
}
class LegacyClass4c extends core::Object implements inh::GenericInterface<core::num?> {
synthetic constructor •() self::LegacyClass4c
;
}
class LegacyClass4d extends inh::Class4a implements inh::GenericInterface<core::num> {
synthetic constructor •() self::LegacyClass4d
;
}
class LegacyClass4e extends core::Object implements inh::Class4a, inh::Class4b {
synthetic constructor •() self::LegacyClass4e
;
}
class LegacyClass5 extends inh::Class5 implements inh::GenericInterface<core::Object> {
synthetic constructor •() self::LegacyClass5
;
}
class LegacyClass6a<T extends core::Object? = dynamic> extends inh::Class3<self::LegacyClass6a::T%> implements inh::GenericSubInterface<self::LegacyClass6a::T%> {
synthetic constructor •() self::LegacyClass6a<self::LegacyClass6a::T%>
;
}
class LegacyClass6b<T extends core::Object? = dynamic> extends self::LegacyClass3a<self::LegacyClass6b::T%> implements inh::GenericSubInterface<self::LegacyClass6b::T%> {
synthetic constructor •() self::LegacyClass6b<self::LegacyClass6b::T%>
;
}
library /*isNonNullableByDefault*/;
import self as inh;
import "dart:core" as core;
abstract class GenericInterface<T extends core::Object? = dynamic> extends core::Object {
synthetic constructor •() inh::GenericInterface<inh::GenericInterface::T%>
;
}
abstract class GenericSubInterface<T extends core::Object? = dynamic> extends inh::GenericInterface<inh::GenericSubInterface::T%> {
synthetic constructor •() inh::GenericSubInterface<inh::GenericSubInterface::T%>
;
}
class Class1 extends core::Object {
synthetic constructor •() inh::Class1
;
}
class Class2<T extends core::Object? = dynamic> extends core::Object {
synthetic constructor •() inh::Class2<inh::Class2::T%>
;
}
class Class3<T extends core::Object? = dynamic> extends core::Object implements inh::GenericInterface<inh::Class3::T%> {
synthetic constructor •() inh::Class3<inh::Class3::T%>
;
}
class Class4a extends core::Object implements inh::GenericInterface<core::num> {
synthetic constructor •() inh::Class4a
;
}
class Class4b extends core::Object implements inh::GenericInterface<core::num?> {
synthetic constructor •() inh::Class4b
;
}
class Class5 extends core::Object implements inh::GenericInterface<dynamic> {
synthetic constructor •() inh::Class5
;
}