pkg/front_end/testcases/general/supertype_conflict.dart.strong.outline.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/supertype_conflict.dart:11:7: Error: 'D' can't implement both 'A<String>' and 'A<int>'
//  - 'A' is from 'pkg/front_end/testcases/general/supertype_conflict.dart'.
// class D implements B<String>, C<int> {} // Error
//       ^
//
// pkg/front_end/testcases/general/supertype_conflict.dart:13:7: Error: 'E' can't implement both 'A<T>' and 'A<int>'
//  - 'A' is from 'pkg/front_end/testcases/general/supertype_conflict.dart'.
// class E<T> extends B<T> implements C<int> {} // Error
//       ^
//
// pkg/front_end/testcases/general/supertype_conflict.dart:15:7: Error: 'F' can't implement both 'A<String>' and 'A<T>'
//  - 'A' is from 'pkg/front_end/testcases/general/supertype_conflict.dart'.
// class F<T> with B<String> implements C<T> {} // Error
//       ^
//
import self as self;
import "dart:core" as core;

class A<T extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::T%>
    ;
}
mixin class B<T extends core::Object? = dynamic> extends core::Object implements self::A<self::B::T%> {
  synthetic constructor •() → self::B<self::B::T%>
    ;
}
class C<T extends core::Object? = dynamic> extends core::Object implements self::A<self::C::T%> {
  synthetic constructor •() → self::C<self::C::T%>
    ;
}
class D extends core::Object implements self::B<core::String>, self::C<core::int> {
  synthetic constructor •() → self::D
    ;
}
class E<T extends core::Object? = dynamic> extends self::B<self::E::T%> implements self::C<core::int> {
  synthetic constructor •() → self::E<self::E::T%>
    ;
}
abstract class _F&Object&B = core::Object with self::B<core::String> /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_F&Object&B
    : super core::Object::•()
    ;
}
class F<T extends core::Object? = dynamic> extends self::_F&Object&B implements self::C<self::F::T%> {
  synthetic constructor •() → self::F<self::F::T%>
    ;
}