Merge pull request #68112 from tshortli/enum-equatable-all-elements-unavailable

Sema: Set type on pattern in synthesized enum equatable/hashable conformance

Author: tshortli

lib/Sema/DerivedConformances.cpp

@@ -946,6 +946,7 @@ CaseStmt *DerivedConformance::unavailableEnumElementCaseStmt(
         TypeExpr::createImplicit(enumType, C), SourceLoc(), DeclNameLoc(),
         DeclNameRef(elt->getBaseIdentifier()), elt, nullptr, /*DC*/ parentDC);
     eltPattern->setImplicit();
+    eltPattern->setType(enumType);
     return eltPattern;
   };
 

test/Interpreter/enum_equatable_hashable_correctness.swift

@@ -32,6 +32,11 @@ enum HasUnavailableCases: Hashable {
   case unavailablePayload(UnavailableStruct)
 }
 
+enum AllUnavailableCases: Hashable {
+  @available(*, unavailable)
+  case nope
+}
+
 var EnumSynthesisTests = TestSuite("EnumSynthesis")
 
 EnumSynthesisTests.test("BasicEquatability/Hashability") {