pkg/analyzer/test/src/dart/resolution/binary_expression_test.dart

// Copyright (c) 2020, 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 'context_collection_resolution.dart';
import 'node_text_expectations.dart';

main() {
  defineReflectiveSuite(() {
    defineReflectiveTests(BinaryExpressionResolutionTest);
    defineReflectiveTests(InferenceUpdate3Test);
    defineReflectiveTests(UpdateNodeTextExpectations);
  });
}

@reflectiveTest
class BinaryExpressionResolutionTest extends PubPackageResolutionTest
    with BinaryExpressionResolutionTestCases {
  test_eqEq_alwaysBool() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
extension type MyBool(bool it) implements bool {}

class A {
  MyBool operator ==(_) => MyBool(true);
}

void f(A a) {
  a == 0;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a == 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: A
    staticType: A
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::==::@formalParameter::_
    staticType: int
  binaryOperator: equal
  element: <testLibrary>::@class::A::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: A
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::==::@formalParameter::_
    staticType: int
  element: <testLibrary>::@class::A::@method::==
  staticInvokeType: MyBool Function(Object)
  staticType: bool
''');
  }

  test_eqEq_switchExpression_left() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(Object? x) {
  (switch (x) {
    _ => 1,
  } == 0);
}
''');
    var node = result.findNode.binaryOperatorInvocation('== 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression2: UnqualifiedNameExpression
      name: x
      resolution: VariableReadResolution
        element: <testLibrary>::@function::f::@formalParameter::x
        type: Object?
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression2: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    staticType: int
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: equal
  element: dart:core::@class::num::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression: SimpleIdentifier
      token: x
      element: <testLibrary>::@function::f::@formalParameter::x
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    staticType: int
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  element: dart:core::@class::num::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_eqEq_switchExpression_right() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(Object? x) {
  0 == switch (x) {
    _ => 1,
  };
}
''');
    var node = result.findNode.binaryOperatorInvocation('0 ==');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: IntegerLiteral
    literal: 0
    staticType: int
  operator: ==
  rightOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression2: UnqualifiedNameExpression
      name: x
      resolution: VariableReadResolution
        element: <testLibrary>::@function::f::@formalParameter::x
        type: Object?
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression2: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: equal
  element: dart:core::@class::num::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: IntegerLiteral
    literal: 0
    staticType: int
  operator: ==
  rightOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression: SimpleIdentifier
      token: x
      element: <testLibrary>::@function::f::@formalParameter::x
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  element: dart:core::@class::num::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_expression_recordType_hasOperator() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f((String,) a) {
  a + 0;
}

extension on (String,) {
  int operator +(int other) => 0;
}
''');
    var node = result.findNode.binaryOperatorInvocation('+ 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: (String,)
    staticType: (String,)
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@extension::#0::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@extension::#0::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: (String,)
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@extension::#0::@method::+::@formalParameter::other
    staticType: int
  element: <testLibrary>::@extension::#0::@method::+
  staticInvokeType: int Function(int)
  staticType: int
''');
  }

  test_expression_recordType_noOperator() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f((String,) a) {
  a + 0;
//  ^
// [diag.undefinedOperator] The operator '+' isn't defined for the type '(String,)'.
}
''');
    var node = result.findNode.binaryOperatorInvocation('+ 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: (String,)
    staticType: (String,)
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  binaryOperator: add
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: (String,)
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_gtGtGt() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
class A {
  A operator >>>(int amount) => this;
}

void f(A a) {
  a >>> 3;
}
''');
    var node = result.findNode.singleBinaryOperatorInvocation;
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: A
    staticType: A
  operator: >>>
  rightOperand: IntegerLiteral
    literal: 3
    correspondingParameter: <testLibrary>::@class::A::@method::>>>::@formalParameter::amount
    staticType: int
  binaryOperator: unsignedShiftRight
  element: <testLibrary>::@class::A::@method::>>>
  staticType: A
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: A
  operator: >>>
  rightOperand: IntegerLiteral
    literal: 3
    correspondingParameter: <testLibrary>::@class::A::@method::>>>::@formalParameter::amount
    staticType: int
  element: <testLibrary>::@class::A::@method::>>>
  staticInvokeType: A Function(int)
  staticType: A
''');
  }

  test_ifNull_left_nullableContext() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
T f<T>(T t) => t;

int g() => f(null) ?? 0;
''');

    var node = result.findNode.ifNull('?? 0');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedFunctionInvocation
    name: f
    argumentList: ArgumentList
      leftParenthesis: (
      arguments2
        NullLiteral
          literal: null
          correspondingParameter: SubstitutedFormalParameterElementImpl
            baseElement: <testLibrary>::@function::f::@formalParameter::t
            substitution: {T: int?}
          staticType: Null
      rightParenthesis: )
    resolution: ExecutableInvocationResolution
      element: <testLibrary>::@function::f
      invokeType: int? Function(int?)
      type: int?
    staticType: int?
    typeArgumentTypes
      int?
  operator: ??
  rightOperand: IntegerLiteral
    literal: 0
    staticType: int
  staticType: int
V1: BinaryExpression
  leftOperand: MethodInvocation
    methodName: SimpleIdentifier
      token: f
      element: <testLibrary>::@function::f
      staticType: T Function<T>(T)
    argumentList: ArgumentList
      leftParenthesis: (
      arguments
        NullLiteral
          literal: null
          correspondingParameter: SubstitutedFormalParameterElementImpl
            baseElement: <testLibrary>::@function::f::@formalParameter::t
            substitution: {T: int?}
          staticType: Null
      rightParenthesis: )
    staticInvokeType: int? Function(int?)
    staticType: int?
    typeArgumentTypes
      int?
  operator: ??
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: int
''');
  }

  test_ifNull_lubUsedEvenIfItDoesNotSatisfyContext_beforeInferenceUpdate3() async {
    var result = await resolveTestCodeWithDiagnostics('''
// %before-language-feature: inference-update-3
class A {}
class B1 extends A {}
class B2 extends A {}
class C1 implements B1, B2 {}
class C2 implements B1, B2 {}
f(C1? c1, C2 c2, Object? o) {
  if (o is B1) {
    o = c1 ?? c2;
  }
}
''');

    var node = result.findNode.ifNull('c1 ?? c2');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: c1
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c1
      type: C1?
    staticType: C1?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: c2
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c2
      type: C2
    staticType: C2
  correspondingParameter: <null>
  staticType: A
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: c1
    element: <testLibrary>::@function::f::@formalParameter::c1
    staticType: C1?
  operator: ??
  rightOperand: SimpleIdentifier
    token: c2
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::c2
    staticType: C2
  correspondingParameter: <null>
  element: <null>
  staticInvokeType: null
  staticType: A
''');
  }

  test_ifNull_nullableInt_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(int? x, int y) {
  x ?? y;
}
''');

    var node = result.findNode.ifNull('x ?? y');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: x
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::x
      type: int?
    staticType: int?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: y
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::y
      type: int
    staticType: int
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: x
    element: <testLibrary>::@function::f::@formalParameter::x
    staticType: int?
  operator: ??
  rightOperand: SimpleIdentifier
    token: y
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::y
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: int
''');
  }

  test_ifNull_nullableInt_nullableDouble() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(int? x, double? y) {
  x ?? y;
}
''');

    var node = result.findNode.ifNull('x ?? y');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: x
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::x
      type: int?
    staticType: int?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: y
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::y
      type: double?
    staticType: double?
  staticType: num?
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: x
    element: <testLibrary>::@function::f::@formalParameter::x
    staticType: int?
  operator: ??
  rightOperand: SimpleIdentifier
    token: y
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::y
    staticType: double?
  element: <null>
  staticInvokeType: null
  staticType: num?
''');
  }

  test_ifNull_nullableInt_nullableInt() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(int? x) {
  x ?? x;
}
''');

    var node = result.findNode.ifNull('x ?? x');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: x
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::x
      type: int?
    staticType: int?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: x
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::x
      type: int?
    staticType: int?
  staticType: int?
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: x
    element: <testLibrary>::@function::f::@formalParameter::x
    staticType: int?
  operator: ??
  rightOperand: SimpleIdentifier
    token: x
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::x
    staticType: int?
  element: <null>
  staticInvokeType: null
  staticType: int?
''');
  }

  test_plus_extensionType_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
extension type Int(int i) implements int {
  Int operator +(int other) {
    return Int(i + other);
  }
}

void f(Int a, int b) {
  a + b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: Int
    staticType: Int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <testLibrary>::@extensionType::Int::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@extensionType::Int::@method::+
  staticType: Int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: Int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <testLibrary>::@extensionType::Int::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <testLibrary>::@extensionType::Int::@method::+
  staticInvokeType: Int Function(int)
  staticType: Int
''');
  }

  test_plus_int_never() async {
    var result = await resolveTestCodeWithDiagnostics('''
f(int a, Never b) {
  a + b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: Never
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: Never
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: num
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: Never
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: num
''');
  }

  test_plus_never_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(Never a, int b) {
  a + b;
//^
// [diag.receiverOfTypeNever] The receiver is of type 'Never', and will never complete with a value.
//  ^^^
// [diag.deadCode] Dead code.
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: Never
    staticType: Never
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <null>
    staticType: int
  binaryOperator: add
  element: <null>
  staticType: Never
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: Never
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: Never
''');
  }

  test_plus_switchExpression_left() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(Object? x) {
  (switch (x) {
    _ => 1,
  } + 0);
}
''');

    var node = result.findNode.binaryOperatorInvocation('+ 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression2: UnqualifiedNameExpression
      name: x
      resolution: VariableReadResolution
        element: <testLibrary>::@function::f::@formalParameter::x
        type: Object?
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression2: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    staticType: int
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression: SimpleIdentifier
      token: x
      element: <testLibrary>::@function::f::@formalParameter::x
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    staticType: int
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_plus_switchExpression_right() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(Object? x) {
  0 + switch (x) {
    _ => 1,
  };
}
''');

    var node = result.findNode.binaryOperatorInvocation('0 +');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: IntegerLiteral
    literal: 0
    staticType: int
  operator: +
  rightOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression2: UnqualifiedNameExpression
      name: x
      resolution: VariableReadResolution
        element: <testLibrary>::@function::f::@formalParameter::x
        type: Object?
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression2: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: IntegerLiteral
    literal: 0
    staticType: int
  operator: +
  rightOperand: SwitchExpression
    switchKeyword: switch
    leftParenthesis: (
    expression: SimpleIdentifier
      token: x
      element: <testLibrary>::@function::f::@formalParameter::x
      staticType: Object?
    rightParenthesis: )
    leftBracket: {
    cases
      SwitchExpressionCase
        guardedPattern: GuardedPattern
          pattern: WildcardPattern
            name: _
            matchedValueType: Object?
        arrow: =>
        expression: IntegerLiteral
          literal: 1
          staticType: int
    rightBracket: }
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_star_syntheticOperand_both() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f() {
  final v = * ;
//      ^
// [diag.unusedLocalVariable] The value of the local variable 'v' isn't used.
//          ^
// [diag.missingIdentifier] Expected an identifier.
//            ^
// [diag.missingIdentifier] Expected an identifier.
}
''');

    var node = result.findNode.singleBinaryOperatorInvocation;
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: <empty> <synthetic>
    resolution: InvalidNamedReadResolution
      recoveryElement: <null>
    staticType: InvalidType
  operator: *
  rightOperand: UnqualifiedNameExpression
    name: <empty> <synthetic>
    resolution: InvalidNamedReadResolution
      recoveryElement: <null>
    correspondingParameter: <null>
    staticType: InvalidType
  binaryOperator: multiply
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: <empty> <synthetic>
    element: <null>
    staticType: InvalidType
  operator: *
  rightOperand: SimpleIdentifier
    token: <empty> <synthetic>
    correspondingParameter: <null>
    element: <null>
    staticType: InvalidType
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_star_syntheticOperand_left() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f() {
  final v = * 2;
//      ^
// [diag.unusedLocalVariable] The value of the local variable 'v' isn't used.
//          ^
// [diag.missingIdentifier] Expected an identifier.
}
''');

    var node = result.findNode.singleBinaryOperatorInvocation;
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: <empty> <synthetic>
    resolution: InvalidNamedReadResolution
      recoveryElement: <null>
    staticType: InvalidType
  operator: *
  rightOperand: IntegerLiteral
    literal: 2
    correspondingParameter: <null>
    staticType: int
  binaryOperator: multiply
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: <empty> <synthetic>
    element: <null>
    staticType: InvalidType
  operator: *
  rightOperand: IntegerLiteral
    literal: 2
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_star_syntheticOperand_right() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f() {
  final v = 2 * ;
//      ^
// [diag.unusedLocalVariable] The value of the local variable 'v' isn't used.
//              ^
// [diag.missingIdentifier] Expected an identifier.
}
''');

    var node = result.findNode.singleBinaryOperatorInvocation;
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: IntegerLiteral
    literal: 2
    staticType: int
  operator: *
  rightOperand: UnqualifiedNameExpression
    name: <empty> <synthetic>
    resolution: InvalidNamedReadResolution
      recoveryElement: <null>
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    staticType: InvalidType
  binaryOperator: multiply
  element: dart:core::@class::num::@method::*
  staticType: double
V1: BinaryExpression
  leftOperand: IntegerLiteral
    literal: 2
    staticType: int
  operator: *
  rightOperand: SimpleIdentifier
    token: <empty> <synthetic>
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    element: <null>
    staticType: InvalidType
  element: dart:core::@class::num::@method::*
  staticInvokeType: num Function(num)
  staticType: double
''');
  }

  test_super_nonOverloadable_left() async {
    await resolveTestCodeWithDiagnostics(r'''
class A {
  void f() {
    super && true;
//  ^^^^^
// [diag.missingAssignableSelector] Missing selector such as '.identifier' or '[0]'.
    super || false;
//  ^^^^^
// [diag.missingAssignableSelector] Missing selector such as '.identifier' or '[0]'.
    super ?? 0;
//  ^^^^^
// [diag.missingAssignableSelector] Missing selector such as '.identifier' or '[0]'.
  }
}
''');
  }

  test_superQualifier_plus() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
class A {
  int operator +(int other) => 0;
}

class B extends A {
  int operator +(int other) => 0;

  void f() {
    super + 0;
  }
}
''');

    var node = result.findNode.binaryOperatorInvocation('+ 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: SuperReference
    superKeyword: super
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@class::A::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: SuperExpression
    superKeyword: super
    staticType: B
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    staticType: int
  element: <testLibrary>::@class::A::@method::+
  staticInvokeType: int Function(int)
  staticType: int
''');
  }

  test_thisExpression_plus() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
class A {
  int operator +(int other) => 0;

  void f() {
    this + 0;
  }
}
''');

    var node = result.findNode.binaryOperatorInvocation('+ 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ThisExpression
    thisKeyword: this
    staticType: A
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@class::A::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: ThisExpression
    thisKeyword: this
    staticType: A
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    staticType: int
  element: <testLibrary>::@class::A::@method::+
  staticInvokeType: int Function(int)
  staticType: int
''');
  }
}

mixin BinaryExpressionResolutionTestCases on PubPackageResolutionTest {
  test_bangEq() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a != b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a != b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: !=
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: notEqual
  element: dart:core::@class::num::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: !=
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_bangEq_extensionOverride_left() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
extension E on int {}

void f(int a) {
  E(a) != 0;
//     ^^
// [diag.undefinedExtensionOperator] The operator '==' isn't defined for the extension 'E'.
}
''');

    var node = result.findNode.binaryOperatorInvocation('!= 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ExtensionOverride2
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments2
        UnqualifiedNameExpression
          name: a
          resolution: VariableReadResolution
            element: <testLibrary>::@function::f::@formalParameter::a
            type: int
          correspondingParameter: <null>
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
  operator: !=
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  binaryOperator: notEqual
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: ExtensionOverride
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments
        SimpleIdentifier
          token: a
          correspondingParameter: <null>
          element: <testLibrary>::@function::f::@formalParameter::a
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
    staticType: null
  operator: !=
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_bangEqEq() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a !== b;
//  ^
// [diag.unsupportedOperator] The '!==' operator is not supported.
}
''');

    var node = result.findNode.binaryOperatorInvocation('a !== b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: !==
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <null>
    staticType: int
  binaryOperator: notEqual
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: !==
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_eqEq_dynamic_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(dynamic a) {
  a == 0;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a == 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: dynamic
    staticType: dynamic
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::Object::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: equal
  element: dart:core::@class::Object::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: dynamic
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::Object::@method::==::@formalParameter::other
    staticType: int
  element: dart:core::@class::Object::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_eqEq_extensionOverride_left() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
extension E on int {}

void f(int a) {
  E(a) == 0;
//     ^^
// [diag.undefinedExtensionOperator] The operator '==' isn't defined for the extension 'E'.
}
''');

    var node = result.findNode.binaryOperatorInvocation('== 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ExtensionOverride2
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments2
        UnqualifiedNameExpression
          name: a
          resolution: VariableReadResolution
            element: <testLibrary>::@function::f::@formalParameter::a
            type: int
          correspondingParameter: <null>
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  binaryOperator: equal
  element: <null>
  staticType: bool
V1: BinaryExpression
  leftOperand: ExtensionOverride
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments
        SimpleIdentifier
          token: a
          correspondingParameter: <null>
          element: <testLibrary>::@function::f::@formalParameter::a
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
    staticType: null
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: bool
''');
  }

  test_eqEq_int_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a == b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a == b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: ==
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: equal
  element: dart:core::@class::num::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: ==
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::==::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_eqEq_invalidType_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f(A a) {
//     ^
// [diag.undefinedClass] Undefined class 'A'.
  a == 0;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a == 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: InvalidType
    staticType: InvalidType
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::Object::@method::==::@formalParameter::other
    staticType: int
  binaryOperator: equal
  element: dart:core::@class::Object::@method::==
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: InvalidType
  operator: ==
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::Object::@method::==::@formalParameter::other
    staticType: int
  element: dart:core::@class::Object::@method::==
  staticInvokeType: bool Function(Object)
  staticType: bool
''');
  }

  test_eqEqEq() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a === b;
//  ^
// [diag.unsupportedOperator] The '===' operator is not supported.
}
''');

    var node = result.findNode.binaryOperatorInvocation('a === b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: ===
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <null>
    staticType: int
  binaryOperator: equal
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: ===
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_ifNull() async {
    var result = await resolveTestCodeWithDiagnostics('''
f(int? a, double b) {
  a ?? b;
}
''');

    var node = result.findNode.ifNull('a ?? b');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int?
    staticType: int?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    staticType: double
  staticType: num
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int?
  operator: ??
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: <null>
  staticInvokeType: null
  staticType: num
''');
  }

  test_logicalAnd() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(bool a, bool b) {
  a && b;
}
''');

    var node = result.findNode.logicalAnd('a && b');
    assertResolvedNodeText(node, r'''
LogicalAnd
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: bool
    staticType: bool
  operator: &&
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: bool
    staticType: bool
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: bool
  operator: &&
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: bool
  element: <null>
  staticInvokeType: null
  staticType: bool
''');
  }

  test_logicalOr() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(bool a, bool b) {
  a || b;
}
''');

    var node = result.findNode.logicalOr('a || b');
    assertResolvedNodeText(node, r'''
LogicalOr
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: bool
    staticType: bool
  operator: ||
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: bool
    staticType: bool
  staticType: bool
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: bool
  operator: ||
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: bool
  element: <null>
  staticInvokeType: null
  staticType: bool
''');
  }

  test_minus_int_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  h(a - f());
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: int Function()
    type: int
  correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
  staticType: int
  typeArgumentTypes
    int
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
  staticInvokeType: int Function()
  staticType: int
  typeArgumentTypes
    int
''');
  }

  test_minus_int_double() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, double b) {
  a - b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a - b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: -
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
    staticType: double
  binaryOperator: subtract
  element: dart:core::@class::num::@method::-
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: -
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: dart:core::@class::num::@method::-
  staticInvokeType: num Function(num)
  staticType: double
''');
  }

  test_minus_int_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a - b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a - b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: -
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
    staticType: int
  binaryOperator: subtract
  element: dart:core::@class::num::@method::-
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: -
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::-::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::-
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_mod_int_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  h(a % f());
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: int Function()
    type: int
  correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
  staticType: int
  typeArgumentTypes
    int
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
  staticInvokeType: int Function()
  staticType: int
  typeArgumentTypes
    int
''');
  }

  test_mod_int_double() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, double b) {
  a % b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a % b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: %
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
    staticType: double
  binaryOperator: modulo
  element: dart:core::@class::num::@method::%
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: %
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: dart:core::@class::num::@method::%
  staticInvokeType: num Function(num)
  staticType: double
''');
  }

  test_mod_int_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a % b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a % b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: %
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
    staticType: int
  binaryOperator: modulo
  element: dart:core::@class::num::@method::%
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: %
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::%::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::%
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_plus_double_context_double() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(double a) {
  h(a + f());
}
h(double x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_double_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(double a) {
  h(a + f());
//  ^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'double' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_double_context_none() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(double a) {
  a + f();
}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_double_dynamic() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(double a, dynamic b) {
  a + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: double
    staticType: double
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: dynamic
    correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
    staticType: dynamic
  binaryOperator: add
  element: dart:core::@class::double::@method::+
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: double
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::double::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: dynamic
  element: dart:core::@class::double::@method::+
  staticInvokeType: double Function(num)
  staticType: double
''');
  }

  test_plus_int_context_double() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  h(a + f());
}
h(double x) {}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: double Function()
    type: double
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticType: double
  typeArgumentTypes
    double
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticInvokeType: double Function()
  staticType: double
  typeArgumentTypes
    double
''');
  }

  test_plus_int_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  h(a + f());
}
h(int x) {}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: int Function()
    type: int
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticType: int
  typeArgumentTypes
    int
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticInvokeType: int Function()
  staticType: int
  typeArgumentTypes
    int
''');
  }

  test_plus_int_context_int_target_rewritten() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int Function() a) {
  h(a() + f());
}
h(int x) {}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: int Function()
    type: int
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticType: int
  typeArgumentTypes
    int
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticInvokeType: int Function()
  staticType: int
  typeArgumentTypes
    int
''');
  }

  test_plus_int_context_int_via_extension_explicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
extension E on int {
  String operator+(num x) => '';
}
T f<T>() => throw Error();
g(int a) {
  h(E(a) + f());
//  ^^^^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'String' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_int_context_none() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  a + f();
}
''');
    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_int_double() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, double b) {
  a + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: double
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: double
''');
  }

  test_plus_int_dynamic() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, dynamic b) {
  a + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: dynamic
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: dynamic
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: num
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: dynamic
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: num
''');
  }

  test_plus_int_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_plus_int_int_target_rewritten() async {
    var result = await resolveTestCodeWithDiagnostics('''
f(int Function() a, int b) {
  a() + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a() + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: CallInvocation
    receiver: UnqualifiedNameExpression
      name: a
      resolution: VariableReadResolution
        element: <testLibrary>::@function::f::@formalParameter::a
        type: int Function()
      staticType: int Function()
    argumentList: ArgumentList
      leftParenthesis: (
      rightParenthesis: )
    resolution: FunctionTypeInvocationResolution
      invokeType: int Function()
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: int
V1: BinaryExpression
  leftOperand: FunctionExpressionInvocation
    function: SimpleIdentifier
      token: a
      element: <testLibrary>::@function::f::@formalParameter::a
      staticType: int Function()
    argumentList: ArgumentList
      leftParenthesis: (
      rightParenthesis: )
    element: <null>
    staticInvokeType: int Function()
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: int
''');
  }

  test_plus_int_int_via_extension_explicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
extension E on int {
  String operator+(int other) => '';
}
f(int a, int b) {
  E(a) + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('E(a) + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ExtensionOverride2
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments2
        UnqualifiedNameExpression
          name: a
          resolution: VariableReadResolution
            element: <testLibrary>::@function::f::@formalParameter::a
            type: int
          correspondingParameter: <null>
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@extension::E::@method::+
  staticType: String
V1: BinaryExpression
  leftOperand: ExtensionOverride
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments
        SimpleIdentifier
          token: a
          correspondingParameter: <null>
          element: <testLibrary>::@function::f::@formalParameter::a
          staticType: int
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: int
    staticType: null
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <testLibrary>::@extension::E::@method::+
  staticInvokeType: String Function(int)
  staticType: String
''');
  }

  test_plus_int_num() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, num b) {
  a + b;
}
''');
    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: num
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: num
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: num
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: num
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: num
''');
  }

  test_plus_int_typeVariable_via_extension() async {
    var result = await resolveTestCodeWithDiagnostics('''
class Foo {}

extension FooExtension<F extends Foo> on F {
  F operator +(int i) => this;

  F get gg => this + 1;
}
''');
    var node = result.findNode.binaryOperatorInvocation('this + 1');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ThisExpression
    thisKeyword: this
    staticType: F
  operator: +
  rightOperand: IntegerLiteral
    literal: 1
    correspondingParameter: SubstitutedFormalParameterElementImpl
      baseElement: <testLibrary>::@extension::FooExtension::@method::+::@formalParameter::i
      substitution: {F: F}
    staticType: int
  binaryOperator: add
  element: SubstitutedMethodElementImpl
    baseElement: <testLibrary>::@extension::FooExtension::@method::+
    substitution: {F: F}
  staticType: F
V1: BinaryExpression
  leftOperand: ThisExpression
    thisKeyword: this
    staticType: F
  operator: +
  rightOperand: IntegerLiteral
    literal: 1
    correspondingParameter: SubstitutedFormalParameterElementImpl
      baseElement: <testLibrary>::@extension::FooExtension::@method::+::@formalParameter::i
      substitution: {F: F}
    staticType: int
  element: SubstitutedMethodElementImpl
    baseElement: <testLibrary>::@extension::FooExtension::@method::+
    substitution: {F: F}
  staticInvokeType: F Function(int)
  staticType: F
''');
  }

  test_plus_invalidType_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
void f() {
  x + 0;
//^
// [diag.undefinedUnqualifiedNameReadNotFound] Undefined name 'x'.
}
''');
    var node = result.findNode.binaryOperatorInvocation('x + 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: x
    resolution: InvalidNamedReadResolution
      recoveryElement: <null>
    staticType: InvalidType
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  binaryOperator: add
  element: <null>
  staticType: InvalidType
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: x
    element: <null>
    staticType: InvalidType
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: InvalidType
''');
  }

  test_plus_num_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(num a) {
  h(a + f());
//  ^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'num' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_other_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
abstract class A {
  num operator+(String x);
}
T f<T>() => throw Error();
g(A a) {
  h(a + f());
//  ^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'num' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: String Function()
    type: String
  correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::x
  staticType: String
  typeArgumentTypes
    String
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::x
  staticInvokeType: String Function()
  staticType: String
  typeArgumentTypes
    String
''');
  }

  test_plus_other_context_int_via_extension_explicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
extension E on A {
  String operator+(num x) => '';
}
T f<T>() => throw Error();
g(A a) {
  h(E(a) + f());
//  ^^^^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'String' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_other_context_int_via_extension_implicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
extension E on A {
  String operator+(num x) => '';
}
T f<T>() => throw Error();
g(A a) {
  h(a + f());
//  ^^^^^^^
// [diag.argumentTypeNotAssignable] The argument type 'String' can't be assigned to the parameter type 'int'.
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: num Function()
    type: num
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticType: num
  typeArgumentTypes
    num
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::x
  staticInvokeType: num Function()
  staticType: num
  typeArgumentTypes
    num
''');
  }

  test_plus_other_double() async {
    var result = await resolveTestCodeWithDiagnostics('''
abstract class A {
  String operator+(double other);
}
f(A a, double b) {
  a + b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: A
    staticType: A
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    staticType: double
  binaryOperator: add
  element: <testLibrary>::@class::A::@method::+
  staticType: String
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: A
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <testLibrary>::@class::A::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: <testLibrary>::@class::A::@method::+
  staticInvokeType: String Function(double)
  staticType: String
''');
  }

  test_plus_other_int_via_extension_explicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
extension E on A {
  String operator+(int other) => '';
}
f(A a, int b) {
  E(a) + b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('E(a) + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: ExtensionOverride2
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments2
        UnqualifiedNameExpression
          name: a
          resolution: VariableReadResolution
            element: <testLibrary>::@function::f::@formalParameter::a
            type: A
          correspondingParameter: <null>
          staticType: A
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: A
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@extension::E::@method::+
  staticType: String
V1: BinaryExpression
  leftOperand: ExtensionOverride
    name: E
    argumentList: ArgumentList
      leftParenthesis: (
      arguments
        SimpleIdentifier
          token: a
          correspondingParameter: <null>
          element: <testLibrary>::@function::f::@formalParameter::a
          staticType: A
      rightParenthesis: )
    element: <testLibrary>::@extension::E
    extendedType: A
    staticType: null
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <testLibrary>::@extension::E::@method::+
  staticInvokeType: String Function(int)
  staticType: String
''');
  }

  test_plus_other_int_via_extension_implicit() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
extension E on A {
  String operator+(int other) => '';
}
f(A a, int b) {
  a + b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: A
    staticType: A
  operator: +
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: <testLibrary>::@extension::E::@method::+
  staticType: String
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: A
  operator: +
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: <testLibrary>::@extension::E::@method::+::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: <testLibrary>::@extension::E::@method::+
  staticInvokeType: String Function(int)
  staticType: String
''');
  }

  test_receiverTypeParameter_bound_dynamic() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f<T extends dynamic>(T a) {
  a + 0;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: T
    staticType: T
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  binaryOperator: add
  element: <null>
  staticType: dynamic
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: T
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: <null>
    staticType: int
  element: <null>
  staticInvokeType: null
  staticType: dynamic
''');
  }

  test_receiverTypeParameter_bound_num() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f<T extends num>(T a) {
  a + 0;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a + 0');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: T
    staticType: T
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  binaryOperator: add
  element: dart:core::@class::num::@method::+
  staticType: num
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: T
  operator: +
  rightOperand: IntegerLiteral
    literal: 0
    correspondingParameter: dart:core::@class::num::@method::+::@formalParameter::other
    staticType: int
  element: dart:core::@class::num::@method::+
  staticInvokeType: num Function(num)
  staticType: num
''');
  }

  test_slash() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a / b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a / b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: /
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::/::@formalParameter::other
    staticType: int
  binaryOperator: divide
  element: dart:core::@class::num::@method::/
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: /
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::/::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::/
  staticInvokeType: double Function(num)
  staticType: double
''');
  }

  test_star_int_context_int() async {
    var result = await resolveTestCodeWithDiagnostics('''
T f<T>() => throw Error();
g(int a) {
  h(a * f());
}
h(int x) {}
''');

    var node = result.findNode.unqualifiedFunctionInvocation('f()');
    assertResolvedNodeText(node, r'''
UnqualifiedFunctionInvocation
  name: f
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  resolution: ExecutableInvocationResolution
    element: <testLibrary>::@function::f
    invokeType: int Function()
    type: int
  correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
  staticType: int
  typeArgumentTypes
    int
V1: MethodInvocation
  methodName: SimpleIdentifier
    token: f
    element: <testLibrary>::@function::f
    staticType: T Function<T>()
  argumentList: ArgumentList
    leftParenthesis: (
    rightParenthesis: )
  correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
  staticInvokeType: int Function()
  staticType: int
  typeArgumentTypes
    int
''');
  }

  test_star_int_double() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, double b) {
  a * b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a * b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: *
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: double
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    staticType: double
  binaryOperator: multiply
  element: dart:core::@class::num::@method::*
  staticType: double
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: *
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: double
  element: dart:core::@class::num::@method::*
  staticInvokeType: num Function(num)
  staticType: double
''');
  }

  test_star_int_int() async {
    var result = await resolveTestCodeWithDiagnostics(r'''
f(int a, int b) {
  a * b;
}
''');

    var node = result.findNode.binaryOperatorInvocation('a * b');
    assertResolvedNodeText(node, r'''
BinaryOperatorInvocation
  leftOperand: UnqualifiedNameExpression
    name: a
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::a
      type: int
    staticType: int
  operator: *
  rightOperand: UnqualifiedNameExpression
    name: b
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b
      type: int
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    staticType: int
  binaryOperator: multiply
  element: dart:core::@class::num::@method::*
  staticType: int
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: a
    element: <testLibrary>::@function::f::@formalParameter::a
    staticType: int
  operator: *
  rightOperand: SimpleIdentifier
    token: b
    correspondingParameter: dart:core::@class::num::@method::*::@formalParameter::other
    element: <testLibrary>::@function::f::@formalParameter::b
    staticType: int
  element: dart:core::@class::num::@method::*
  staticInvokeType: num Function(num)
  staticType: int
''');
  }
}

@reflectiveTest
class InferenceUpdate3Test extends PubPackageResolutionTest {
  test_ifNull_contextIsConvertedToATypeUsingGreatestClosure() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
class B1<T> extends A {}
class B2<T> extends A {}
class C1<T> implements B1<T>, B2<T> {}
class C2<T> implements B1<T>, B2<T> {}
void contextB1<T>(B1<T> b1) {}
f(C1<int>? c1, C2<double> c2) {
  contextB1(c1 ?? c2);
}
''');

    var node = result.findNode.ifNull('c1 ?? c2');
    assertResolvedNodeText(node, r'''IfNull
  leftOperand: UnqualifiedNameExpression
    name: c1
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c1
      type: C1<int>?
    staticType: C1<int>?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: c2
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c2
      type: C2<double>
    staticType: C2<double>
  correspondingParameter: SubstitutedFormalParameterElementImpl
    baseElement: <testLibrary>::@function::contextB1::@formalParameter::b1
    substitution: {T: Object?}
  staticType: B1<Object?>
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: c1
    element: <testLibrary>::@function::f::@formalParameter::c1
    staticType: C1<int>?
  operator: ??
  rightOperand: SimpleIdentifier
    token: c2
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::c2
    staticType: C2<double>
  correspondingParameter: SubstitutedFormalParameterElementImpl
    baseElement: <testLibrary>::@function::contextB1::@formalParameter::b1
    substitution: {T: Object?}
  element: <null>
  staticInvokeType: null
  staticType: B1<Object?>
''');
  }

  test_ifNull_contextNotUsedIfLhsDoesNotSatisfyContext() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
class B1 extends A {}
class B2 extends A {}
class C1 implements B1, B2 {}
class C2 implements B1, B2 {}
f(B2? b2, C1 c1, Object? o) {
  if (o is B1) {
    o = b2 ?? c1;
  }
}
''');

    var node = result.findNode.ifNull('b2 ?? c1');
    assertResolvedNodeText(node, r'''IfNull
  leftOperand: UnqualifiedNameExpression
    name: b2
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b2
      type: B2?
    staticType: B2?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: c1
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c1
      type: C1
    staticType: C1
  correspondingParameter: <null>
  staticType: B2
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: b2
    element: <testLibrary>::@function::f::@formalParameter::b2
    staticType: B2?
  operator: ??
  rightOperand: SimpleIdentifier
    token: c1
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::c1
    staticType: C1
  correspondingParameter: <null>
  element: <null>
  staticInvokeType: null
  staticType: B2
''');
  }

  test_ifNull_contextNotUsedIfRhsDoesNotSatisfyContext() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
class B1 extends A {}
class B2 extends A {}
class C1 implements B1, B2 {}
class C2 implements B1, B2 {}
f(C1? c1, B2 b2, Object? o) {
  if (o is B1) {
    o = c1 ?? b2;
  }
}
''');

    var node = result.findNode.ifNull('c1 ?? b2');
    assertResolvedNodeText(node, r'''IfNull
  leftOperand: UnqualifiedNameExpression
    name: c1
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c1
      type: C1?
    staticType: C1?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: b2
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::b2
      type: B2
    staticType: B2
  correspondingParameter: <null>
  staticType: B2
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: c1
    element: <testLibrary>::@function::f::@formalParameter::c1
    staticType: C1?
  operator: ??
  rightOperand: SimpleIdentifier
    token: b2
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::b2
    staticType: B2
  correspondingParameter: <null>
  element: <null>
  staticInvokeType: null
  staticType: B2
''');
  }

  test_ifNull_contextUsedInsteadOfLubIfLubDoesNotSatisfyContext() async {
    var result = await resolveTestCodeWithDiagnostics('''
class A {}
class B1 extends A {}
class B2 extends A {}
class C1 implements B1, B2 {}
class C2 implements B1, B2 {}
B1 f(C1? c1, C2 c2) => c1 ?? c2;
''');

    var node = result.findNode.ifNull('c1 ?? c2');
    assertResolvedNodeText(node, r'''
IfNull
  leftOperand: UnqualifiedNameExpression
    name: c1
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c1
      type: C1?
    staticType: C1?
  operator: ??
  rightOperand: UnqualifiedNameExpression
    name: c2
    resolution: VariableReadResolution
      element: <testLibrary>::@function::f::@formalParameter::c2
      type: C2
    staticType: C2
  staticType: B1
V1: BinaryExpression
  leftOperand: SimpleIdentifier
    token: c1
    element: <testLibrary>::@function::f::@formalParameter::c1
    staticType: C1?
  operator: ??
  rightOperand: SimpleIdentifier
    token: c2
    correspondingParameter: <null>
    element: <testLibrary>::@function::f::@formalParameter::c2
    staticType: C2
  element: <null>
  staticInvokeType: null
  staticType: B1
''');
  }
}