blob: aa8e3c36cda6b32dec5724055136685579540337 [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/inline_class/extension_types/super_extension_type_conflict.dart:11:16: Error: 'D' can't implement both 'A<int>' and 'A<String>'
// extension type D(int it) implements A<int>, B<String> {}
// ^
//
// pkg/front_end/testcases/inline_class/extension_types/super_extension_type_conflict.dart:13:16: Error: 'E' can't implement both 'A<int>' and 'A<String>'
// extension type E(int it) implements B<int>, C<String> {}
// ^
//
import self as self;
import "dart:core" as core;
inline class A<T extends core::Object? = dynamic> /* declaredRepresentationType = core::int */ {
constructor = self::A|;
tearoff = self::A|_#new#tearOff;
}
inline class B<T extends core::Object? = dynamic> /* declaredRepresentationType = core::int */ implements self::A<T%> {
constructor = self::B|;
tearoff = self::B|_#new#tearOff;
}
inline class C<T extends core::Object? = dynamic> /* declaredRepresentationType = core::int */ implements self::A<T%> {
constructor = self::C|;
tearoff = self::C|_#new#tearOff;
}
inline class D /* declaredRepresentationType = core::int */ implements self::A<core::int>, self::B<core::String> {
constructor = self::D|;
tearoff = self::D|_#new#tearOff;
}
inline class E /* declaredRepresentationType = core::int */ implements self::B<core::int>, self::C<core::String> {
constructor = self::E|;
tearoff = self::E|_#new#tearOff;
}
static inline-class-member method A|<T extends core::Object? = dynamic>(dynamic it) self::A<self::A|::T%> {
lowered final self::A<self::A|::T%> #this = it;
return #this;
}
static inline-class-member method A|_#new#tearOff<T extends core::Object? = dynamic>(dynamic it) → self::A<self::A|_#new#tearOff::T%>
return self::A|<self::A|_#new#tearOff::T%>(it);
static inline-class-member method B|<T extends core::Object? = dynamic>(dynamic it) self::B<self::B|::T%> {
lowered final self::B<self::B|::T%> #this = it;
return #this;
}
static inline-class-member method B|_#new#tearOff<T extends core::Object? = dynamic>(dynamic it) → self::B<self::B|_#new#tearOff::T%>
return self::B|<self::B|_#new#tearOff::T%>(it);
static inline-class-member method C|<T extends core::Object? = dynamic>(dynamic it) self::C<self::C|::T%> {
lowered final self::C<self::C|::T%> #this = it;
return #this;
}
static inline-class-member method C|_#new#tearOff<T extends core::Object? = dynamic>(dynamic it) → self::C<self::C|_#new#tearOff::T%>
return self::C|<self::C|_#new#tearOff::T%>(it);
static inline-class-member method D|(dynamic it) self::D {
lowered final self::D #this = it;
return #this;
}
static inline-class-member method D|_#new#tearOff(dynamic it) → self::D
return self::D|(it);
static inline-class-member method E|(dynamic it) self::E {
lowered final self::E #this = it;
return #this;
}
static inline-class-member method E|_#new#tearOff(dynamic it) → self::E
return self::E|(it);