// 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/dart/ast/ast.dart';
import 'package:analyzer/src/diagnostic/diagnostic.dart' as diag;
import 'package:test_reflective_loader/test_reflective_loader.dart';

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

main() {
  defineReflectiveSuite(() {
    defineReflectiveTests(InvalidUseOfNullValueTest);
    defineReflectiveTests(UncheckedUseOfNullableValueTest);
    defineReflectiveTests(UncheckedUseOfNullableValueInsideExtensionTest);
  });
}

@reflectiveTest
class InvalidUseOfNullValueTest extends PubPackageResolutionTest {
  test_as() async {
    await assertErrorsInCode(
      r'''
m() {
  Null x;
  x as int;
}
''',
      [error(diag.castFromNullAlwaysFails, 18, 8)],
    );
  }

  test_await() async {
    await assertNoErrorsInCode(r'''
m() async {
  Null x;
  await x;
}
''');
  }

  test_cascade() async {
    await assertNoErrorsInCode(r'''
m() {
  Null x;
  x..toString;
}
''');
  }

  test_eq() async {
    await assertErrorsInCode(
      r'''
m() {
  Null x;
  x == null;
}
''',
      [error(diag.unnecessaryNullComparisonAlwaysNullTrue, 18, 4)],
    );
  }

  test_forLoop() async {
    await assertErrorsInCode(
      r'''
m() {
  Null x;
  for (var y in x) {}
}
''',
      [
        error(diag.unusedLocalVariable, 27, 1),
        error(diag.invalidUseOfNullValue, 32, 1),
      ],
    );
  }

  test_is() async {
    await assertNoErrorsInCode(r'''
m() {
  Null x;
  x is int;
}
''');
  }

  test_member() async {
    await assertNoErrorsInCode(r'''
m() {
  Null x;
  x.runtimeType;
}
''');
  }

  test_method() async {
    await assertNoErrorsInCode(r'''
m() {
  Null x;
  x.toString();
}
''');
  }

  test_notEq() async {
    await assertErrorsInCode(
      r'''
m() {
  Null x;
  x != null;
}
''',
      [error(diag.unnecessaryNullComparisonAlwaysNullFalse, 18, 4)],
    );
  }

  test_ternary_lhs() async {
    await assertNoErrorsInCode(r'''
m(bool cond) {
  Null x;
  cond ? x : 1;
}
''');
  }

  test_ternary_rhs() async {
    await assertNoErrorsInCode(r'''
m(bool cond) {
  Null x;
  cond ? 0 : x;
}
''');
  }
}

@reflectiveTest
class UncheckedUseOfNullableValueInsideExtensionTest
    extends PubPackageResolutionTest {
  test_indexExpression_nonNullable() async {
    await assertNoErrorsInCode(r'''
class A {
  int operator[](int index) => 0;

  operator[]=(int index, int value) {}
}

extension E on A {
  void bar() {
    this[0];

    this[0] = 0;
  }
}
''');
  }

  test_indexExpression_nullable() async {
    await assertErrorsInCode(
      r'''
class A {
  int operator[](int index) => 0;

  operator[]=(int index, int value) {}
}

extension E on A? {
  void bar() {
    this[0];
    this?[0];

    this[0] = 0;
    this?[0] = 0;
  }
}
''',
      [
        error(diag.uncheckedMethodInvocationOfNullableValue, 130, 1),
        error(diag.uncheckedMethodInvocationOfNullableValue, 158, 1),
      ],
    );
  }

  test_methodInvocation_nonNullable() async {
    await assertNoErrorsInCode(r'''
class A {
  void foo() {}
}

extension E on A {
  void bar() {
    foo();
    this.foo();

    bar();
    this.bar();
  }
}
''');
  }

  test_methodInvocation_nullable() async {
    await assertErrorsInCode(
      r'''
class A {
  void foo() {}
}

extension E on A? {
  void bar() {
    foo();
    this.foo();
    this?.foo();

    bar();
    this.bar();
    this?.bar();
  }
}
''',
      [
        error(diag.uncheckedMethodInvocationOfNullableValue, 68, 3),
        error(diag.uncheckedMethodInvocationOfNullableValue, 84, 3),
      ],
    );
  }

  test_methodInvocation_nuverNullable_extensionMethod() async {
    await assertNoErrorsInCode(r'''
extension<X> on X {
  X m() => this;
}

Future<void> f(Never? x) async {
  (await x).m();
}
''');
  }

  test_prefixExpression_minus_nonNullable() async {
    await assertNoErrorsInCode(r'''
class A {
  A operator-() => this;
}

extension E on A {
  void bar() {
    -this;
  }
}
''');
  }

  test_prefixExpression_minus_nullable() async {
    await assertErrorsInCode(
      r'''
class A {
  A operator-() => this;
}

extension E on A? {
  void bar() {
    -this;
  }
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 77, 1)],
    );
  }

  test_propertyAccess_getter_nonNullable() async {
    await assertNoErrorsInCode(r'''
class A {
  int get foo => 0;
}

extension E on A {
  int get bar => 0;

  void baz() {
    foo;
    this.foo;

    bar;
    this.bar;
  }
}
''');
  }

  test_propertyAccess_getter_nullable() async {
    await assertErrorsInCode(
      r'''
class A {
  int get foo => 0;
}

extension E on A? {
  int get bar => 0;

  void baz() {
    foo;
    this.foo;
    this?.foo;

    bar;
    this.bar;
    this?.bar;
  }
}
''',
      [
        error(diag.uncheckedPropertyAccessOfNullableValue, 93, 3),
        error(diag.uncheckedPropertyAccessOfNullableValue, 107, 3),
      ],
    );
  }

  test_propertyAccess_setter_nonNullable() async {
    await assertNoErrorsInCode(r'''
class A {
  set foo(int _) {}
}

extension E on A {
  set bar(int _) {}

  void baz() {
    foo = 0;
    this.foo = 0;

    bar = 0;
    this.bar = 0;
  }
}
''');
  }

  test_propertyAccess_setter_nullable() async {
    await assertErrorsInCode(
      r'''
class A {
  set foo(int _) {}
}

extension E on A? {
  set bar(int _) {}

  void baz() {
    foo = 0;
    this.foo = 0;
    this?.foo = 0;

    bar = 0;
    this.bar = 0;
    this?.bar = 0;
  }
}
''',
      [
        error(diag.uncheckedMethodInvocationOfNullableValue, 93, 3),
        error(diag.uncheckedPropertyAccessOfNullableValue, 111, 3),
      ],
    );
  }
}

@reflectiveTest
class UncheckedUseOfNullableValueTest extends PubPackageResolutionTest {
  test_and_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  bool x = true;
  if(x && true) {}
}
''');
  }

  test_and_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  if(x && true) {}
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 22, 1)],
    );
  }

  test_as_nullable_nonNullable() async {
    await assertErrorsInCode(
      r'''
void f() {
  num? x;
  x as int;
}
''',
      [error(diag.castFromNullableAlwaysFails, 23, 1)],
    );
  }

  test_as_nullable_nullable() async {
    await assertNoErrorsInCode(r'''
void f() {
  num? x;
  x as String?;
}
''');
  }

  test_assert_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  bool x = true;
  assert(x);
}
''');
  }

  test_assert_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  assert(x);
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 26, 1)],
    );
  }

  test_assignment_eq_propertyAccess3_short1() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  A(this.x);
}

class B {
  final A? a;
  B(this.a);
}

m(B b) {
  b.a?.x = 1;
  b.a.x = 2;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 104, 1)],
    );

    assertResolvedNodeText(findNode.assignment('x = 1'), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A?
      element: <testLibrary>::@class::B::@getter::a
      staticType: A?
    operator: ?.
    propertyName: SimpleIdentifier
      token: x
      element: <null>
      staticType: null
    staticType: null
  operator: =
  rightHandSide: IntegerLiteral
    literal: 1
    correspondingParameter: <testLibrary>::@class::A::@setter::x::@formalParameter::value
    staticType: int
  readElement: <null>
  readType: null
  writeElement: <testLibrary>::@class::A::@setter::x
  writeType: int
  element: <null>
  staticType: int?
''');

    assertResolvedNodeText(findNode.assignment('x = 2'), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A?
      element: <testLibrary>::@class::B::@getter::a
      staticType: A?
    operator: .
    propertyName: SimpleIdentifier
      token: x
      element: <null>
      staticType: null
    staticType: null
  operator: =
  rightHandSide: IntegerLiteral
    literal: 2
    correspondingParameter: <testLibrary>::@class::A::@setter::x::@formalParameter::value
    staticType: int
  readElement: <null>
  readType: null
  writeElement: <testLibrary>::@class::A::@setter::x
  writeType: int
  element: <null>
  staticType: int
''');
  }

  test_assignment_eq_simpleIdentifier() async {
    await assertNoErrorsInCode(r'''
m(int x, int? y) {
  x = 0;
  y = 0;
}
''');

    assertResolvedNodeText(findNode.assignment('x ='), r'''
AssignmentExpression
  leftHandSide: SimpleIdentifier
    token: x
    element: <testLibrary>::@function::m::@formalParameter::x
    staticType: null
  operator: =
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  readElement: <null>
  readType: null
  writeElement: <testLibrary>::@function::m::@formalParameter::x
  writeType: int
  element: <null>
  staticType: int
''');

    assertResolvedNodeText(findNode.assignment('y ='), r'''
AssignmentExpression
  leftHandSide: SimpleIdentifier
    token: y
    element: <testLibrary>::@function::m::@formalParameter::y
    staticType: null
  operator: =
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  readElement: <null>
  readType: null
  writeElement: <testLibrary>::@function::m::@formalParameter::y
  writeType: int?
  element: <null>
  staticType: int
''');
  }

  test_assignment_plusEq_propertyAccess3() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  int? y;
  A(this.x);
}

class B {
  final A a;
  B(this.a);
}

m(B b) {
  b.a.x += 0;
  b.a.y += 0;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 115, 2)],
    );

    assertResolvedNodeText(findNode.assignment('x +='), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A
      element: <testLibrary>::@class::B::@getter::a
      staticType: A
    operator: .
    propertyName: SimpleIdentifier
      token: x
      element: <null>
      staticType: null
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@class::A::@getter::x
  readType: int
  writeElement: <testLibrary>::@class::A::@setter::x
  writeType: int
  element: dart:core::@class::num::@method::+
  staticType: int
''');

    assertResolvedNodeText(findNode.assignment('y +='), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A
      element: <testLibrary>::@class::B::@getter::a
      staticType: A
    operator: .
    propertyName: SimpleIdentifier
      token: y
      element: <null>
      staticType: null
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@class::A::@getter::y
  readType: int?
  writeElement: <testLibrary>::@class::A::@setter::y
  writeType: int?
  element: dart:core::@class::num::@method::+
  staticType: int
''');
  }

  test_assignment_plusEq_propertyAccess3_short1() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  A(this.x);
}

class B {
  final A? a;
  B(this.a);
}

m(B b) {
  b.a?.x += 1;
  b.a.x += 2;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 105, 1)],
    );

    assertResolvedNodeText(findNode.assignment('x += 1'), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A?
      element: <testLibrary>::@class::B::@getter::a
      staticType: A?
    operator: ?.
    propertyName: SimpleIdentifier
      token: x
      element: <null>
      staticType: null
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 1
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@class::A::@getter::x
  readType: int
  writeElement: <testLibrary>::@class::A::@setter::x
  writeType: int
  element: dart:core::@class::num::@method::+
  staticType: int?
''');

    assertResolvedNodeText(findNode.assignment('x += 2'), r'''
AssignmentExpression
  leftHandSide: PropertyAccess
    target: PrefixedIdentifier
      prefix: SimpleIdentifier
        token: b
        element: <testLibrary>::@function::m::@formalParameter::b
        staticType: B
      period: .
      identifier: SimpleIdentifier
        token: a
        element: <testLibrary>::@class::B::@getter::a
        staticType: A?
      element: <testLibrary>::@class::B::@getter::a
      staticType: A?
    operator: .
    propertyName: SimpleIdentifier
      token: x
      element: <null>
      staticType: null
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 2
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@class::A::@getter::x
  readType: int
  writeElement: <testLibrary>::@class::A::@setter::x
  writeType: int
  element: dart:core::@class::num::@method::+
  staticType: int
''');
  }

  test_assignment_plusEq_simpleIdentifier() async {
    await assertErrorsInCode(
      r'''
m(int x, int? y) {
  x += 0;
  y += 0;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 33, 2)],
    );

    assertResolvedNodeText(findNode.assignment('x +='), r'''
AssignmentExpression
  leftHandSide: SimpleIdentifier
    token: x
    element: <testLibrary>::@function::m::@formalParameter::x
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@function::m::@formalParameter::x
  readType: int
  writeElement: <testLibrary>::@function::m::@formalParameter::x
  writeType: int
  element: dart:core::@class::num::@method::+
  staticType: int
''');

    assertResolvedNodeText(findNode.assignment('y +='), r'''
AssignmentExpression
  leftHandSide: SimpleIdentifier
    token: y
    element: <testLibrary>::@function::m::@formalParameter::y
    staticType: null
  operator: +=
  rightHandSide: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  readElement: <testLibrary>::@function::m::@formalParameter::y
  readType: int?
  writeElement: <testLibrary>::@function::m::@formalParameter::y
  writeType: int?
  element: dart:core::@class::num::@method::+
  staticType: int
''');
  }

  test_await_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() async {
  Future x = Future.value(null);
  await x;
}
''');
  }

  test_await_nullable() async {
    await assertNoErrorsInCode(r'''
m() async {
  Future? x;
  await x;
}
''');
  }

  test_cascade_nonNullable() async {
    await assertNoErrorsInCode(r'''
f() {
  int x = 0;
  x..isEven;
}
''');
  }

  test_cascade_nullable_indexed_assignment() async {
    await assertErrorsInCode(
      r'''
f(List<int>? x) {
  x..[0] = 1;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 23, 1)],
    );
  }

  test_cascade_nullable_indexed_assignment_null_aware() async {
    await assertNoErrorsInCode(r'''
f(List<int>? x) {
  x?..[0] = 1;
}
''');
  }

  test_cascade_nullable_method_invocation() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x..abs();
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 21, 3)],
    );
  }

  test_cascade_nullable_method_invocation_null_aware() async {
    await assertNoErrorsInCode(r'''
f(int? x) {
  x?..abs();
}
''');
  }

  test_cascade_nullable_property_access() async {
    await assertErrorsInCode(
      r'''
f(int? x) {
  x..isEven;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 17, 6)],
    );
  }

  test_cascade_nullable_property_access_null_aware() async {
    await assertNoErrorsInCode(r'''
m(int? x) {
  x?..isEven;
}
''');
  }

  test_eqEq_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x == null;
}
''',
      [error(diag.unnecessaryNullComparisonAlwaysNullTrue, 18, 4)],
    );
  }

  test_forLoop_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  List x = [];
  for (var y in x) {}
}
''',
      [error(diag.unusedLocalVariable, 32, 1)],
    );
  }

  test_forLoop_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  List? x;
  for (var y in x) {}
}
''',
      [
        error(diag.unusedLocalVariable, 28, 1),
        error(diag.uncheckedUseOfNullableValueAsIterator, 33, 1),
      ],
    );
  }

  test_forLoop_pattern_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  List? x;
  for (var (y) in x) {}
}
''',
      [
        error(diag.unusedLocalVariable, 29, 1),
        error(diag.uncheckedUseOfNullableValueAsIterator, 35, 1),
      ],
    );
  }

  test_getter_nullable_nonNullableExtension() async {
    await assertErrorsInCode(
      r'''
extension E on int {
  int get foo => 0;
}

m(int? x) {
  x.foo;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 60, 3)],
    );
  }

  test_if_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  bool x = true;
  if (x) {}
}
''');
  }

  test_if_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  if (x) {}
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 23, 1)],
    );
  }

  test_index_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  List x = [1];
  x[0];
}
''');
  }

  test_index_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  List? x;
  x[0];
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 20, 1)],
    );
  }

  test_invoke_dynamicFunctionType_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  Function x = () {};
  x();
}
''');
  }

  test_invoke_dynamicFunctionType_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  Function? x;
  x();
}
''',
      [error(diag.uncheckedInvocationOfNullableValue, 23, 1)],
    );
  }

  test_invoke_dynamicFunctionType_nullable2() async {
    await assertErrorsInCode(
      r'''
void f<F extends Function>(List<F?> funcList) {
  funcList[0]();
}
''',
      [error(diag.uncheckedInvocationOfNullableValue, 50, 11)],
    );
  }

  test_invoke_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  Function() x = () {};
  x();
}
''');
  }

  test_invoke_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  Function()? x;
  x();
}
''',
      [error(diag.uncheckedInvocationOfNullableValue, 25, 1)],
    );
  }

  test_invoke_parenthesized_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  Function x = () {};
  (x)();
}
''');
  }

  test_is_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int? x;
  x is int;
}
''');
  }

  test_member_dynamic_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  dynamic x;
  x.foo;
}
''');
  }

  test_member_hashCode_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int? x;
  x.hashCode;
}
''');
  }

  test_member_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int x = 0;
  x.isEven;
}
''');
  }

  test_member_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x.isEven;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 20, 6)],
    );

    var node = findNode.simple('isEven');
    assertResolvedNodeText(node, r'''
SimpleIdentifier
  token: isEven
  element: dart:core::@class::int::@getter::isEven
  staticType: bool
''');
  }

  test_member_parenthesized_hashCode_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int? x;
  (x).hashCode;
}
''');
  }

  test_member_parenthesized_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  (x).isEven;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 22, 6)],
    );
  }

  test_member_parenthesized_runtimeType_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int? x;
  (x).runtimeType;
}
''');
  }

  test_member_potentiallyNullable() async {
    await assertErrorsInCode(
      r'''
m<T extends int?>(T x) {
  x.isEven;
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 29, 6)],
    );
  }

  test_member_potentiallyNullable_called() async {
    await assertErrorsInCode(
      r'''
m<T extends Function>(List<T?> x) {
  x.first();
}
''',
      [error(diag.uncheckedInvocationOfNullableValue, 38, 7)],
    );
  }

  test_member_questionDot_nullable() async {
    await assertNoErrorsInCode(r'''
f(int? x) {
  x?.isEven;
}
''');
  }

  test_member_runtimeType_nullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int? x;
  x.runtimeType;
}
''');
  }

  test_method_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int x = 0;
  x.round();
}
''');
  }

  test_method_noSuchMethod_nullable() async {
    await assertNoErrorsInCode(r'''
m(int x) {
  x.noSuchMethod(throw '');
}
''');
  }

  test_method_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x.round();
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 20, 5)],
    );
  }

  test_method_nullable_notNullableExtension() async {
    await assertErrorsInCode(
      r'''
extension E on int {
  void foo() {}
}

m(int? x) {
  x.foo();
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 56, 3)],
    );
  }

  test_method_questionDot_nullable() async {
    await assertNoErrorsInCode(r'''
m(int? x) {
  x?.round();
}
''');
  }

  test_method_toString_nullable() async {
    await assertNoErrorsInCode(r'''
m(int x) {
  x.toString();
}
''');
  }

  test_methodInvocation_call_nonNullable() async {
    await assertNoErrorsInCode(r'''
m(Function x) {
  x.call();
}
''');
  }

  test_methodInvocation_call_nullable() async {
    await assertErrorsInCode(
      r'''
m(Function? x) {
  x.call();
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 21, 4)],
    );
  }

  test_minusEq_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int x = 0;
  x -= 1;
}
''',
      [error(diag.unusedLocalVariable, 12, 1)],
    );
  }

  test_minusEq_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x -= 1;
}
''',
      [
        error(diag.unusedLocalVariable, 13, 1),
        error(diag.uncheckedMethodInvocationOfNullableValue, 20, 2),
      ],
    );
  }

  test_not_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool x = true;
  if(!x) {}
}
''',
      [error(diag.deadCode, 32, 2)],
    );
  }

  test_not_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  if(!x) {}
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 23, 1)],
    );
  }

  test_notEq_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x != null;
}
''',
      [error(diag.unnecessaryNullComparisonAlwaysNullFalse, 18, 4)],
    );
  }

  test_nullable_dotQ_propertyAccess_dot_methodInvocation() async {
    await assertNoErrorsInCode(r'''
class A {
  int get foo => 0;
}

void f(A? a) {
  a?.foo.abs();
}
''');
    assertType(findNode.propertyAccess('.foo'), 'int');
    assertType(findNode.methodInvocation('.abs()'), 'int?');
  }

  test_nullable_dotQ_propertyAccess_dot_propertyAccess() async {
    await assertNoErrorsInCode(r'''
class A {
  int get foo => 0;
}

void f(A? a) {
  a?.foo.isEven;
}
''');
    assertType(findNode.propertyAccess('.foo'), 'int');
    assertType(findNode.propertyAccess('.isEven'), 'bool?');
  }

  test_operatorMinus_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int x = 0;
  x - 3;
}
''');
  }

  test_operatorMinus_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x - 3;
}
''',
      [error(diag.uncheckedOperatorInvocationOfNullableValue, 20, 1)],
    );
  }

  test_operatorPlus_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  int x = 0;
  x + 3;
}
''');
  }

  test_operatorPlus_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x + 3;
}
''',
      [error(diag.uncheckedOperatorInvocationOfNullableValue, 20, 1)],
    );
  }

  test_operatorPostfixDec_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int x = 0;
  x--;
}
''',
      [error(diag.unusedLocalVariable, 12, 1)],
    );
  }

  test_operatorPostfixDec_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  x--;
}
''',
      [
        error(diag.unusedLocalVariable, 13, 1),
        error(diag.uncheckedMethodInvocationOfNullableValue, 19, 2),
      ],
    );
  }

  test_operatorPostfixInc_nonNullable() async {
    await assertNoErrorsInCode(r'''
m(int x) {
  x++;
}
''');
  }

  test_operatorPostfixInc_nullable() async {
    await assertErrorsInCode(
      r'''
m(int? x) {
  x++;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 15, 2)],
    );
  }

  test_operatorPostfixInc_nullable_nonNullableExtension() async {
    await assertErrorsInCode(
      r'''
class A {}

extension E on A {
  A operator +(int _) => this;
}

m(A? x) {
  x++;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 78, 2)],
    );
  }

  test_operatorPrefixDec_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int x = 0;
  --x;
}
''',
      [error(diag.unusedLocalVariable, 12, 1)],
    );
  }

  test_operatorPrefixDec_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  --x;
}
''',
      [
        error(diag.unusedLocalVariable, 13, 1),
        error(diag.uncheckedMethodInvocationOfNullableValue, 18, 2),
      ],
    );
  }

  test_operatorPrefixInc_nonNullable() async {
    await assertNoErrorsInCode(r'''
m(int x) {
  ++x;
}
''');
  }

  test_operatorPrefixInc_nullable() async {
    await assertErrorsInCode(
      r'''
m(int? x) {
  ++x;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 14, 2)],
    );
  }

  test_operatorUnaryMinus_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int x = 0;
  -x;
}
''',
      [error(diag.unusedLocalVariable, 12, 1)],
    );
  }

  test_operatorUnaryMinus_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  int? x;
  -x;
}
''',
      [
        error(diag.unusedLocalVariable, 13, 1),
        error(diag.uncheckedMethodInvocationOfNullableValue, 18, 1),
      ],
    );
  }

  test_operatorUnaryMinus_nullable_nonNullableExtension() async {
    await assertErrorsInCode(
      r'''
class A {}

extension E on A {
  A operator -() => this;
}

m(A? x) {
  -x;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 72, 1)],
    );
  }

  test_or_nonNullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool x = true;
  if(x || false) {}
}
''',
      [error(diag.deadCode, 30, 8)],
    );
  }

  test_or_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  if(x || false) {}
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 22, 1)],
    );
  }

  test_plusEq_nonNullable() async {
    await assertNoErrorsInCode(r'''
m(int x) {
  x += 1;
}
''');
  }

  test_plusEq_nullable() async {
    await assertErrorsInCode(
      r'''
m(int? x) {
  x += 1;
}
''',
      [error(diag.uncheckedMethodInvocationOfNullableValue, 16, 2)],
    );
  }

  test_read_propertyAccess2_short1() async {
    await assertErrorsInCode(
      r'''
class A {
  final int x;
  A(this.x);
}

m(A? a) {
  a?.x; // 1
  a.x; // 2
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 68, 1)],
    );
    var propertyAccess1 = findNode.propertyAccess('a?.x; // 1');
    var propertyAccess2 = findNode.prefixed('a.x; // 2');
    assertType(propertyAccess1.target, 'A?');
    assertType(propertyAccess2.prefix, 'A?');

    assertType(propertyAccess1.propertyName, 'int');
    assertType(propertyAccess2.identifier, 'int');

    assertType(propertyAccess1, 'int?');
    assertType(propertyAccess2, 'int');
  }

  test_read_propertyAccess3_short1() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  A(this.x);
}

class B {
  final A? a;
  B(this.a);
}

m(B b) {
  b.a?.x; // 1
  b.a.x; // 2
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 105, 1)],
    );
    var propertyAccess1 = findNode.propertyAccess('b.a?.x; // 1');
    var propertyAccess2 = findNode.propertyAccess('b.a.x; // 2');
    assertType(propertyAccess1.target, 'A?');
    assertType(propertyAccess2.target, 'A?');

    assertType(propertyAccess1.propertyName, 'int');
    assertType(propertyAccess2.propertyName, 'int');

    assertType(propertyAccess1, 'int?');
    assertType(propertyAccess2, 'int');
  }

  test_read_propertyAccess3_short2() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  A(this.x);
}

class B {
  final A a;
  B(this.a);
}

m(B? b) {
  b?.a.x; // 1
  b.a.x; // 2
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 103, 1)],
    );
    var propertyAccess1 = findNode.propertyAccess('x; // 1');
    var propertyAccess2 = findNode.propertyAccess('x; // 2');
    assertType(propertyAccess1.target, 'A');
    assertType(propertyAccess2.target, 'A');

    assertType(propertyAccess1.propertyName, 'int');
    assertType(propertyAccess2.propertyName, 'int');

    assertType(propertyAccess1, 'int?');
    assertType(propertyAccess2, 'int');
  }

  test_read_propertyAccess4_short1() async {
    await assertErrorsInCode(
      r'''
class A {
  int x;
  A(this.x);
}

class B {
  final A? a;
  B(this.a);
}

class C {
  final B b;
  C(this.b);
}

m(C c) {
  c.b.a?.x; // 1
  c.b.a.x; // 2
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 148, 1)],
    );
    var propertyAccess1 = findNode.propertyAccess('x; // 1');
    var propertyAccess2 = findNode.propertyAccess('x; // 2');
    assertType(propertyAccess1.target, 'A?');
    assertType(propertyAccess2.target, 'A?');

    assertType(propertyAccess1.propertyName, 'int');
    assertType(propertyAccess2.propertyName, 'int');

    assertType(propertyAccess1, 'int?');
    assertType(propertyAccess2, 'int');
  }

  test_read_propertyAccess4_short2() async {
    await assertErrorsInCode(
      r'''
class A {
  final int x;
  A(this.x);
}

class B {
  final A a;
  B(this.a);
}

class C {
  final B? b;
  C(this.b);
}

m(C c) {
  c.b?.a.x; // 1
  c.b.a.x; // 2
}
''',
      [error(diag.uncheckedPropertyAccessOfNullableValue, 152, 1)],
    );
    var propertyAccess1 = findNode.propertyAccess('x; // 1');
    var propertyAccess2 = findNode.propertyAccess('x; // 2');
    var propertyAccess1t = propertyAccess1.target as PropertyAccess;
    var propertyAccess2t = propertyAccess1.target as PropertyAccess;
    assertType(propertyAccess1t.target, 'B?');
    assertType(propertyAccess2t.target, 'B?');
    assertType(propertyAccess1t, 'A');
    assertType(propertyAccess2t, 'A');

    assertType(propertyAccess1.propertyName, 'int');
    assertType(propertyAccess2.propertyName, 'int');

    assertType(propertyAccess1, 'int?');
    assertType(propertyAccess2, 'int');
  }

  test_spread_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() {
  var list = [];
  [...list];
}
''');
  }

  test_spread_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  List? list;
  [...list];
}
''',
      [error(diag.uncheckedUseOfNullableValueInSpread, 26, 4)],
    );
  }

  test_spread_nullable_question() async {
    await assertNoErrorsInCode(r'''
m() {
  List? list;
  [...?list];
}
''');
  }

  test_ternary_condition_nullable() async {
    await assertErrorsInCode(
      r'''
m() {
  bool? x;
  x ? 0 : 1;
}
''',
      [error(diag.uncheckedUseOfNullableValueAsCondition, 19, 1)],
    );
  }

  test_ternary_lhs_nullable() async {
    await assertNoErrorsInCode(r'''
m(bool cond) {
  int? x;
  cond ? x : 1;
}
''');
  }

  test_ternary_rhs_nullable() async {
    await assertNoErrorsInCode(r'''
m(bool cond) {
  int? x;
  cond ? 0 : x;
}
''');
  }

  test_tripleShift_nullable() async {
    await assertErrorsInCode(
      r'''
m(String? s) {
  s?.length >>> 2;
}
''',
      [error(diag.uncheckedOperatorInvocationOfNullableValue, 27, 3)],
    );
  }

  test_uncheckedOperatorInvocation_relationalPattern() async {
    await assertErrorsInCode(
      r'''
void f(int? x) {
  if (x case > 0) {}
}
''',
      [error(diag.uncheckedOperatorInvocationOfNullableValue, 30, 1)],
    );
  }

  test_uncheckedOperatorInvocation_relationalPattern_hasExtension() async {
    await assertNoErrorsInCode(r'''
void f(int? x) {
  if (x case > 0) {}
}

extension on int? {
  bool operator >(int other) => true;
}
''');
  }

  test_yieldEach_nonNullable() async {
    await assertNoErrorsInCode(r'''
m() sync* {
  List<int> x = [];
  yield* x;
}
''');
  }

  test_yieldEach_nullable() async {
    await assertErrorsInCode(
      r'''
m() sync* {
  List<int>? x;
  yield* x;
}
''',
      [
        error(diag.yieldEachOfInvalidType, 37, 1),
        error(diag.uncheckedUseOfNullableValueInYieldEach, 37, 1),
      ],
    );
  }
}
