blob: 198715605ac2e4cd9e8f809c86de507301a5b2a9 [file] [log] [blame]
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) {}
// ^
//
import self as self;
import "dart:core" as core;
class A#1 extends core::Object {
synthetic constructor •() self::A#1*
;
}
class A extends core::Object {
synthetic constructor •() self::A*
;
}
class B extends core::Object {
synthetic constructor •() self::B*
;
method foo(core::List<core::Null?>* a) dynamic
;
}
class C extends self::B {
synthetic constructor •() self::C*
;
method foo(core::List<invalid-type>* a) dynamic
;
}
static method main() dynamic
;