Added emitting precondition check in the isolated deinit

Author: nickolas-pohilets

lib/SILGen/SILGenDestructor.cpp

@@ -114,6 +114,26 @@ void SILGenFunction::emitDestroyingDestructor(DestructorDecl *dd) {
 
   auto cd = cast<ClassDecl>(dd->getDeclContext());
   SILValue selfValue = emitSelfDeclForDestructor(dd->getImplicitSelfDecl());
+  ManagedValue managedSelf;
+  if (selfValue->getOwnershipKind() == OwnershipKind::Unowned) {
+    managedSelf = ManagedValue::forUnownedObjectValue(selfValue);
+  } else {
+    managedSelf = ManagedValue::forBorrowedRValue(selfValue);
+  }
+
+  auto ai = swift::getActorIsolation(dd);
+  auto actor = emitExecutor(Loc, ai, managedSelf);
+  if (actor) {
+    ExpectedExecutor = *actor;
+  }
+
+  // Jump to the expected executor.
+  if (ExpectedExecutor) {
+    // For a synchronous function, check that we're on the same executor.
+    // Note: if we "know" that the code is completely Sendable-safe, this
+    // is unnecessary. The type checker will need to make this determination.
+    emitPreconditionCheckExpectedExecutor(Loc, ExpectedExecutor);
+  }
 
   // Create a basic block to jump to for the implicit destruction behavior
   // of releasing the elements and calling the superclass destructor.