| // 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(ConstMapKeyExpressionTypeImplementsEqualsTest); |
| }); |
| } |
| |
| @reflectiveTest |
| class ConstMapKeyExpressionTypeImplementsEqualsTest |
| extends PubPackageResolutionTest { |
| test_abstract() async { |
| await assertNoErrorsInCode(r''' |
| class A { |
| const A(); |
| bool operator==(Object other); |
| } |
| |
| main() { |
| const {const A(): 0}; |
| } |
| '''); |
| } |
| |
| test_constField() async { |
| await assertErrorsInCode(r''' |
| main() { |
| const {double.INFINITY: 0}; |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 18, |
| 15), |
| ]); |
| } |
| |
| test_direct() async { |
| await assertErrorsInCode(r''' |
| class A { |
| const A(); |
| operator ==(other) => false; |
| } |
| |
| main() { |
| const {const A() : 0}; |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 75, |
| 9), |
| ]); |
| } |
| |
| test_dynamic() async { |
| // Note: static type of B.a is "dynamic", but actual type of the const |
| // object is A. We need to make sure we examine the actual type when |
| // deciding whether there is a problem with operator==. |
| await assertErrorsInCode(r''' |
| class A { |
| const A(); |
| operator ==(other) => false; |
| } |
| |
| class B { |
| static const a = const A(); |
| } |
| |
| main() { |
| const {B.a : 0}; |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 118, |
| 3), |
| ]); |
| } |
| |
| test_factory() async { |
| await assertErrorsInCode(r''' |
| class A { |
| const factory A() = B; |
| } |
| |
| class B implements A { |
| const B(); |
| operator ==(o) => true; |
| } |
| |
| main() { |
| const {const A(): 42}; |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 121, |
| 9), |
| ]); |
| } |
| |
| test_nestedIn_instanceCreation() async { |
| await assertErrorsInCode(r''' |
| class A { |
| const A(); |
| |
| bool operator ==(other) => false; |
| } |
| |
| class B { |
| const B(_); |
| } |
| |
| main() { |
| const B({A(): 0}); |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 110, |
| 3), |
| ]); |
| } |
| |
| test_super() async { |
| await assertErrorsInCode(r''' |
| class A { |
| const A(); |
| operator ==(other) => false; |
| } |
| |
| class B extends A { |
| const B(); |
| } |
| |
| main() { |
| const {const B() : 0}; |
| } |
| ''', [ |
| error( |
| CompileTimeErrorCode.CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, |
| 111, |
| 9), |
| ]); |
| } |
| } |