[SIL] Unwrap MoveOnly wrapper type before checking Escapable conformance

xedin · kavon · commit ac9e71409a9f · 2024-03-14T14:46:55.000-07:00
(cherry picked from commit 840ef47)
diff --git a/lib/SIL/IR/SILType.cpp b/lib/SIL/IR/SILType.cpp
@@ -1070,6 +1070,9 @@ bool SILType::isEscapable(const SILFunction &function) const {
                                      function.getModule().Types, 0);
   }
 
+  if (auto *moveOnlyTy = ty->getAs<SILMoveOnlyWrappedType>())
+    ty = moveOnlyTy->getInnerType();
+
   // TODO: Support ~Escapable in parameter packs.
   //
   // Treat all other SIL-specific types as Escapable.

Original file line number	Diff line number	Diff line change
`@@ -1070,6 +1070,9 @@ bool SILType::isEscapable(const SILFunction &function) const {`
`1070`	`1070`	`function.getModule().Types, 0);`
`1071`	`1071`	`}`
`1072`	`1072`
	`1073`	`+ if (auto *moveOnlyTy = ty->getAs<SILMoveOnlyWrappedType>())`
	`1074`	`+ ty = moveOnlyTy->getInnerType();`
	`1075`	`+`
`1073`	`1076`	`// TODO: Support ~Escapable in parameter packs.`
`1074`	`1077`	`//`
`1075`	`1078`	`// Treat all other SIL-specific types as Escapable.`