Merge pull request #82655 from DougGregor/isolated-conformances-collection-literals-6.2

[6.2] [SE-0470] Check uses of isolated conformances in collection literals

Author: DougGregor

lib/Sema/TypeCheckConcurrency.cpp

@@ -3496,6 +3496,13 @@ namespace {
             getDeclContext(), RefineConformances{*this});
       }
 
+      if (auto *collectionExpr = dyn_cast<CollectionExpr>(expr)) {
+        checkIsolatedConformancesInContext(
+            collectionExpr->getInitializer(),
+            collectionExpr->getLoc(),
+            getDeclContext(), RefineConformances{*this});
+      }
+
       return Action::Continue(expr);
     }
 

test/Concurrency/isolated_conformance.swift

@@ -186,3 +186,12 @@ func testIsolatedConformancesOnAssociatedTypes(hc: HoldsC, c: C) {
   // associated type.
   HoldsC.acceptSendableAliased(C.self)
 }
+
+
+struct MyHashable: @MainActor Hashable {
+  var counter = 0
+}
+
+@concurrent func testMyHashableSet() async {
+  let _: Set<MyHashable> = [] // expected-warning{{main actor-isolated conformance of 'MyHashable' to 'Hashable' cannot be used in nonisolated context}}
+}