Allow Builtin.Take -> ~Escapable

This commit is contained in:
Andrew Trick
2025-09-12 21:46:39 -07:00
parent 9953b1e3db
commit c494124d11
2 changed files with 2 additions and 2 deletions

View File

@@ -240,6 +240,7 @@ BUILTIN_SIL_OPERATION(LoadRaw, "loadRaw", Special)
BUILTIN_SIL_OPERATION(LoadInvariant, "loadInvariant", Special)
/// Take has type (Builtin.RawPointer) -> T
/// where T: ~Copyable & ~Escapable
BUILTIN_SIL_OPERATION(Take, "take", Special)
/// Destroy has type (T.Type, Builtin.RawPointer) -> ()