blob: 6bf5c1f0475cf11ac851771452bd2eebc4120b55 [file] [log] [blame]
// Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
import 'package:analyzer/src/error/codes.dart';
import 'package:test_reflective_loader/test_reflective_loader.dart';
import '../dart/resolution/context_collection_resolution.dart';
main() {
defineReflectiveSuite(() {
defineReflectiveTests(NullableTypeInImplementsClauseTest);
});
}
@reflectiveTest
class NullableTypeInImplementsClauseTest extends PubPackageResolutionTest {
test_class_nonNullable() async {
await assertNoErrorsInCode('''
class A {}
class B implements A {}
''');
}
test_class_nullable() async {
await assertErrorsInCode('''
class A {}
class B implements A? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 30, 2),
]);
}
test_class_nullable_alias() async {
await assertErrorsInCode('''
class A {}
typedef B = A;
class C implements B? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 45, 2),
]);
}
test_class_nullable_alias2() async {
await assertErrorsInCode('''
class A {}
typedef B = A?;
class C implements B {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 46, 1),
]);
}
test_extensionType_nonNullable() async {
await assertNoErrorsInCode('''
class A {}
extension type E(A _) implements A {}
''');
}
test_extensionType_nullable() async {
await assertErrorsInCode('''
class A {}
extension type E(A _) implements A? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 44, 2),
]);
}
test_extensionType_nullable_alias() async {
await assertErrorsInCode('''
class A {}
typedef B = A;
extension type E(A _) implements B? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 59, 2),
]);
}
test_extensionType_nullable_alias2() async {
await assertErrorsInCode('''
class A {}
typedef B = A?;
extension type E(A _) implements B {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 60, 1),
]);
}
test_mixin_nonNullable() async {
await assertNoErrorsInCode('''
class A {}
mixin B implements A {}
''');
}
test_mixin_nullable() async {
await assertErrorsInCode('''
class A {}
mixin B implements A? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 30, 2),
]);
}
test_mixin_nullable_alias() async {
await assertErrorsInCode('''
class A {}
typedef B = A;
mixin C implements B? {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 45, 2),
]);
}
test_mixin_nullable_alias2() async {
await assertErrorsInCode('''
class A {}
typedef B = A?;
mixin C implements B {}
''', [
error(CompileTimeErrorCode.NULLABLE_TYPE_IN_IMPLEMENTS_CLAUSE, 46, 1),
]);
}
}