Erik Eckstein ddbc3a2fad SILGen: insert an end_lifetime in the throw-branch of a Builtin.emplace ...

When the called closure throws an error, it needs to clean up the buffer.
This means that the buffer is uninitialized at this point.

We need an `end_lifetime` so that the move-only checker doesn't insert a wrong `destroy_addr` because it thinks that the buffer is initialized.

Fixes a mis-compile.

rdar://151461109

2025-05-16 21:54:39 +02:00

10 KiB

Raw Permalink Blame History

View Raw