pkg/analyzer/test/src/diagnostics/const_eval_primitive_equality_test.dart

// Copyright (c) 2024, 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:test_reflective_loader/test_reflective_loader.dart';

import '../dart/resolution/context_collection_resolution.dart';

main() {
  defineReflectiveSuite(() {
    defineReflectiveTests(ConstEvalPrimitiveEqualityTest);
  });
}

@reflectiveTest
class ConstEvalPrimitiveEqualityTest extends PubPackageResolutionTest {
  test_equal_double_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 0.1;
const b = a == Object();
''');
  }

  test_equal_int_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 0;
const b = a == Object();
''');
  }

  test_equal_int_userClass() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
}

const a = 0;
const b = a == A();
''');
  }

  test_equal_list_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = [1, 2];
const b = a == Object();
''');
  }

  test_equal_map_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = {'x': 1, 'y': 2};
const b = a == Object();
''');
  }

  test_equal_null_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = null;
const b = a == Object();
''');
  }

  test_equal_set_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = {1, 2};
const b = a == Object();
''');
  }

  test_equal_string_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 'foo';
const b = a == Object();
''');
  }

  test_equal_userClass_int_hasEqEq() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
  bool operator ==(other) => false;
}

const a = A();
const b = a == 0;
//        ^^^^^^
// [diag.constEvalPrimitiveEquality] In constant expressions, operands of the equality operator must have primitive equality.
''');
  }

  test_equal_userClass_int_hasHashCode() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
  int get hashCode => 0;
}

const a = A();
const b = a == 0;
//        ^^^^^^
// [diag.constEvalPrimitiveEquality] In constant expressions, operands of the equality operator must have primitive equality.
''');
  }

  test_equal_userClass_int_hasPrimitiveEquality() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
}

const a = A();
const b = a == 0;
''');
  }

  test_notEqual_double_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 0.1;
const b = a != Object();
''');
  }

  test_notEqual_int_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 0;
const b = a != Object();
''');
  }

  test_notEqual_int_userClass() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
}

const a = 0;
const b = a != A();
''');
  }

  test_notEqual_null_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = null;
const b = a != Object();
''');
  }

  test_notEqual_string_object() async {
    await resolveTestCodeWithDiagnostics(r'''
const a = 'foo';
const b = a != Object();
''');
  }

  test_notEqual_userClass_int_hasEqEq() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
  bool operator ==(other) => false;
}

const a = A();
const b = a != 0;
//        ^^^^^^
// [diag.constEvalPrimitiveEquality] In constant expressions, operands of the equality operator must have primitive equality.
''');
  }

  test_notEqual_userClass_int_hasHashCode() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
  int get hashCode => 0;
}

const a = A();
const b = a != 0;
//        ^^^^^^
// [diag.constEvalPrimitiveEquality] In constant expressions, operands of the equality operator must have primitive equality.
''');
  }

  test_notEqual_userClass_int_hasPrimitiveEquality() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  const A();
}

const a = A();
const b = a != 0;
''');
  }
}