---

yaml
---
r: 361476
b: refs/heads/main
c: ca709d0
h: refs/heads/main

Author: scheglov

[refs]

@@ -1988,7 +1988,7 @@ refs/tags/2.14.0-96.0.dev: 1eee24e50fc3028754d9a8e98852b949c04da4e4
 refs/tags/2.14.0-97.0.dev: ba9c1636e87fbdcc02b8bc4a584455c32f8378b4
 refs/tags/2.14.0-98.0.dev: f2d370c93582bbf4da42b5dd4c906d6145b01ea9
 refs/tags/2.14.0-99.0.dev: e722f62b48fb382534efc1f20735def68848006f
-refs/heads/main: b704bbad7c3b71b9c24e6a53f29184cd2a06b70d
+refs/heads/main: ca709d09db06c1a7302e96185c63b960dc94b114
 refs/heads/TedSander-patch-1: 739563c962fea6f5e2883a8d84f8638c48f2aa40
 refs/tags/2.13.1: 53a67a7b0650edb435535a50b5c430abbc68bc60
 refs/tags/2.13.3: a77223333944631f8f48a76e7f4697a4877e29d7

trunk/pkg/analyzer/lib/dart/ast/ast.dart

@@ -4467,6 +4467,9 @@ abstract class RedirectingConstructorInvocation
 /// Clients may not extend, implement or mix-in this class.
 @experimental
 abstract class RelationalPattern implements DartPattern {
+  /// The element of the [operator] for the matched type.
+  MethodElement? get element;
+
   /// Return the expression used to compute the operand.
   Expression get operand;
 

trunk/pkg/analyzer/lib/src/dart/ast/ast.dart

@@ -10813,13 +10813,18 @@ class RedirectingConstructorInvocationImpl extends ConstructorInitializerImpl
 @experimental
 class RelationalPatternImpl extends DartPatternImpl
     implements RelationalPattern {
-  @override
-  final ExpressionImpl operand;
+  ExpressionImpl _operand;
 
   @override
   final Token operator;
 
-  RelationalPatternImpl({required this.operator, required this.operand}) {
+  @override
+  MethodElement? element;
+
+  RelationalPatternImpl({
+    required this.operator,
+    required ExpressionImpl operand,
+  }) : _operand = operand {
     _becomeParentOf(operand);
   }
 
@@ -10829,6 +10834,13 @@ class RelationalPatternImpl extends DartPatternImpl
   @override
   Token get endToken => operand.endToken;
 
+  @override
+  ExpressionImpl get operand => _operand;
+
+  set operand(ExpressionImpl operand) {
+    _operand = _becomeParentOf(operand);
+  }
+
   @override
   ChildEntities get _childEntities => super._childEntities
     ..addToken('operator', operator)
@@ -10847,7 +10859,10 @@ class RelationalPatternImpl extends DartPatternImpl
       DartType matchedType,
       Map<PromotableElement, VariableTypeInfo<AstNode, DartType>> typeInfos,
       MatchContext<AstNode, Expression> context) {
-    // TODO(scheglov) https://github.com/dart-lang/sdk/issues/50066
+    resolverVisitor.resolveRelationalPattern(
+      node: this,
+      matchedType: matchedType,
+    );
   }
 
   @override

trunk/pkg/analyzer/lib/src/dart/ast/utilities.dart

@@ -3150,6 +3150,15 @@ class NodeReplacer extends ThrowingAstVisitor<bool> {
     return visitNode(node);
   }
 
+  @override
+  bool? visitRelationalPattern(covariant RelationalPatternImpl node) {
+    if (identical(node.operand, _oldNode)) {
+      node.operand = _newNode as ExpressionImpl;
+      return true;
+    }
+    return visitNode(node);
+  }
+
   @override
   bool visitRethrowExpression(RethrowExpression node) => visitNode(node);
 

trunk/pkg/analyzer/lib/src/generated/resolver.dart

@@ -1101,6 +1101,38 @@ class ResolverVisitor extends ThrowingAstVisitor<void>
     }
   }
 
+  void resolveRelationalPattern({
+    required RelationalPatternImpl node,
+    required DartType matchedType,
+  }) {
+    final String methodName;
+    if (node.operator.lexeme == '!=') {
+      methodName = '==';
+    } else {
+      methodName = node.operator.lexeme;
+    }
+
+    analyzeExpression(node.operand, matchedType);
+    node.operand = popRewrite()!;
+
+    final result = typePropertyResolver.resolve(
+      receiver: null,
+      receiverType: matchedType,
+      name: methodName,
+      propertyErrorEntity: node.operator,
+      nameErrorEntity: node,
+    );
+
+    node.element = result.getter as MethodElement?;
+    if (result.needsGetterError) {
+      errorReporter.reportErrorForToken(
+        CompileTimeErrorCode.UNDEFINED_OPERATOR,
+        node.operator,
+        [methodName, matchedType],
+      );
+    }
+  }
+
   void setReadElement(Expression node, Element? element) {
     DartType readType = DynamicTypeImpl.instance;
     if (node is IndexExpression) {

trunk/pkg/analyzer/test/generated/utilities_test.dart

@@ -1513,6 +1513,22 @@ class A {
     );
   }
 
+  void test_relationalPattern() {
+    var findNode = _parseStringToFindNode(r'''
+void f(x) {
+  if (x case > 0) {}
+  if (x case > 1) {}
+}
+''');
+    _assertReplacementForChildren<RelationalPattern>(
+      destination: findNode.relationalPattern('> 0'),
+      source: findNode.relationalPattern('> 1'),
+      childAccessors: [
+        (node) => node.operand,
+      ],
+    );
+  }
+
   void test_returnStatement() {
     var findNode = _parseStringToFindNode(r'''
 void f() {