pkg/front_end/testcases/general/issue39421.dart.strong.transformed.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/issue39421.dart:9:7: Error: 'A' is already declared in this scope.
// class A {}
//       ^
// pkg/front_end/testcases/general/issue39421.dart:7:7: Context: Previous declaration of 'A'.
// class A {}
//       ^
//
// pkg/front_end/testcases/general/issue39421.dart:16:12: Error: 'A' isn't a type.
//   foo(List<A> a) {}
//            ^
// pkg/front_end/testcases/general/issue39421.dart:16:12: Context: This isn't a type.
//   foo(List<A> a) {}
//            ^
//
// pkg/front_end/testcases/general/issue39421.dart:16:15: Error: The parameter 'a' of the method 'C.foo' has type 'List<invalid-type>', which does not match the corresponding type, 'List<Null>', in the overridden method, 'B.foo'.
//  - 'List' is from 'dart:core'.
// Change to a supertype of 'List<Null>', or, for a covariant parameter, a subtype.
//   foo(List<A> a) {}
//               ^
// pkg/front_end/testcases/general/issue39421.dart:12:3: Context: This is the overridden method ('foo').
//   foo(List<Null> a) {}
//   ^
//
// pkg/front_end/testcases/general/issue39421.dart:16:12: Error: Can't use 'A' because it is declared more than once.
//   foo(List<A> a) {}
//            ^
//
import self as self;
import "dart:core" as core;

class A#1 extends core::Object {
  synthetic constructor •() → self::A#1*
    : super core::Object::•()
    ;
}
class A extends core::Object {
  synthetic constructor •() → self::A*
    : super core::Object::•()
    ;
}
class B extends core::Object {
  synthetic constructor •() → self::B*
    : super core::Object::•()
    ;
  method foo(core::List<core::Null?>* a) → dynamic {}
}
class C extends self::B {
  synthetic constructor •() → self::C*
    : super self::B::•()
    ;
  method foo(core::List<invalid-type>* a) → dynamic {}
}
static method main() → dynamic {}