Speaking more generally, to me this move-in-move-out interface design is a non-starter, so programming languages and compilers will have to come up with other s

Speaking more generally, to me this move-in-move-out interface design is a non-starter, so programming languages and compilers will have to come up with other solutions to avoid unnecessary checks. Which, AFAIK, Rust already has (there's runtime check on `&mut Random`), so TFA really is a Vale-specific micro-optimization.