Merge pull request #70376 from eeckstein/fix-is-escapable

eeckstein · web-flow · commit b709fa23b280 · 2023-12-12T18:27:12.000+01:00
AST: fix isEscapable in case the experimental feature NoncopyableGenerics is _not_ enabled
diff --git a/lib/AST/Type.cpp b/lib/AST/Type.cpp
@@ -214,7 +214,7 @@ bool TypeBase::isEscapable(const DeclContext *dc) {
     if (auto nom = canType.getAnyNominal())
       return nom->isEscapable();
     else
-      return false;
+      return true;
   }
 
   IsEscapableRequest request{canType};
diff --git a/test/embedded/FixedArray.swift b/test/embedded/FixedArray.swift
@@ -12,9 +12,6 @@
 // REQUIRES: VENDOR=apple
 // REQUIRES: OS=macosx
 
-
-// REQUIRES: needsfixing
-
 func simpleStackAllocated() {
   var a = FixedArray<Int>(capacity: 10)
   a.append(27)

Original file line number	Diff line number	Diff line change
`@@ -214,7 +214,7 @@ bool TypeBase::isEscapable(const DeclContext *dc) {`
`214`	`214`	`if (auto nom = canType.getAnyNominal())`
`215`	`215`	`return nom->isEscapable();`
`216`	`216`	`else`
`217`		`- return false;`
	`217`	`+ return true;`
`218`	`218`	`}`
`219`	`219`
`220`	`220`	`IsEscapableRequest request{canType};`