"nonisolated deinit" does not have back-deployment constraints

Fixes rdar://150484159

Author: DougGregor

lib/Sema/TypeCheckAttr.cpp

@@ -7771,8 +7771,6 @@ void AttributeChecker::visitNonisolatedAttr(NonisolatedAttr *attr) {
     }
   }
 
-  diagnoseIsolatedDeinitInValueTypes(attr);
-
   if (auto VD = dyn_cast<ValueDecl>(D)) {
     //'nonisolated(unsafe)' is meaningless for computed properties, functions etc.
     auto var = dyn_cast<VarDecl>(VD);
@@ -7807,8 +7805,6 @@ void AttributeChecker::visitGlobalActorAttr(GlobalActorAttr *attr) {
     return;
   }
 
-  diagnoseIsolatedDeinitInValueTypes(attr);
-
   (void)nominal->isGlobalActor();
 }
 

test/Concurrency/nonisolated_deinit.swift

@@ -0,0 +1,23 @@
+// RUN: %target-typecheck-verify-swift -swift-version 5 %s -strict-concurrency=complete -target %target-swift-5.1-abi-triple
+
+// REQUIRES: concurrency
+// REQUIRES: OS=macosx
+
+class NotSendable {}
+
+@MainActor class C {
+  var x: Int = 0
+
+  nonisolated deinit {
+    print(x)
+  }
+}
+
+// expected-note@+1{{add '@available' attribute to enclosing class}}
+@MainActor class C2 {
+  var x: Int = 0
+
+  isolated deinit { // expected-error{{isolated deinit is only available in macOS 15.4.0 or newer}}
+    print(x)
+  }
+}