Merge pull request #76331 from allevato/ast-printer-fixes

[ASTPrinter] Fix missing operators in synthesized `==` impls printed by `-print-ast`.

Author: allevato

lib/AST/ASTPrinter.cpp

@@ -4924,6 +4924,10 @@ void PrintAST::visitBinaryExpr(BinaryExpr *expr) {
     Printer << operatorRef->getDecl()->getBaseName();
   } else if (auto *operatorRef = dyn_cast<DeclRefExpr>(expr->getFn())) {
     Printer << operatorRef->getDecl()->getBaseName();
+  } else if (auto *operatorRef =
+                 dyn_cast<UnresolvedDeclRefExpr>(expr->getFn())) {
+    // Synthesized `==` uses this.
+    Printer << operatorRef->getName();
   }
   Printer << " ";
   visit(expr->getRHS());

test/decl/enum/derived_hashable_equatable.swift

@@ -55,12 +55,12 @@ enum HasAssociatedValues: Hashable {
   // CHECK:        @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasAssociatedValues, _ b: HasAssociatedValues) -> Bool {
   // CHECK-NEXT:     switch (a, b) {
   // CHECK-NEXT:     case (.a(let l0), .a(let r0)):
-  // CHECK-NEXT:       guard l0  r0 else {
+  // CHECK-NEXT:       guard l0 == r0 else {
   // CHECK-NEXT:         return false
   // CHECK-NEXT:       }
   // CHECK-NEXT:       return true
   // CHECK-NEXT:     case (.b(let l0), .b(let r0)):
-  // CHECK-NEXT:       guard l0  r0 else {
+  // CHECK-NEXT:       guard l0 == r0 else {
   // CHECK-NEXT:         return false
   // CHECK-NEXT:       }
   // CHECK-NEXT:       return true
@@ -148,7 +148,7 @@ enum HasAssociatedValuesAndUnavailableElement: Hashable {
   // CHECK:       @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasAssociatedValuesAndUnavailableElement, _ b: HasAssociatedValuesAndUnavailableElement) -> Bool {
   // CHECK-NEXT:    switch (a, b) {
   // CHECK-NEXT:    case (.a(let l0), .a(let r0)):
-  // CHECK-NEXT:      guard l0  r0 else {
+  // CHECK-NEXT:      guard l0 == r0 else {
   // CHECK-NEXT:        return false
   // CHECK-NEXT:      }
   // CHECK-NEXT:      return true