diff --git a/execution.bs b/execution.bs index e2e624e..19a5548 100644 --- a/execution.bs +++ b/execution.bs @@ -5010,7 +5010,7 @@ enum class forward_progress_guarantee { 11.
template<callable Fun> requires is_nothrow_move_constructible_v<Fun> - struct emplace-construct { // exposition only + struct emplace-from { // exposition only Fun fun; // exposition only using type = call-result-t<Fun>; @@ -5024,7 +5024,7 @@ enum class forward_progress_guarantee { };- 1. `emplace-construct` is used to emplace + 1. `emplace-from` is used to emplace non-movable types into containers like `tuple`, `optional`, and `variant`. 11.