tailcall macro compatibility issues
tailcall macro compatibility issues: a task in LegoFlow-SWE (Harbor dataset). The tailcall attribute currently adds several restrictions that prevent it from being used in many common tail‑recursive patterns. Functions returning Result , Option , using mutable parameters, passing references to…
The task
The `#[tailcall]` attribute currently adds several restrictions that prevent it from being used in many common tail‑recursive patterns. Functions returning `Result`, `Option`, using mutable parameters, passing references to locals, or involving generics either fail to compile, produce spurious warnings, or behave…
Part of Lego-X/LegoFlow-SWE.