Files
Erik Eckstein 5e2851d36e ClosureSpecialization: fix two problems
* insert borrow scopes for specialized guaranteed arguments: This is needed if the guaranteed argument is replaced by a copied owned value. If the argument has any use which is not compatible with "owned" ownership, we need a borrow scope.

* prevent creating a specialized function with more than one "isolated" parameters
2026-02-20 18:28:14 +01:00
..