On: Benefits of named return values in Go

[Filligree]

The constraints are important. They're what let you code safely, and also give the compiler the ability to optimize better.

[heythere124 → Filligree]

Not sure those optimisations are worth much. And it's only safety by forcing lowest common denominator code and making you justify everything to a dumb compiler. Rust serves a niche, but it is a tight niche IMO.

[pcwalton → heythere124]

Aliasing info is hugely important in optimization. In fact, it's needed to solve this very bug.

Aliasing info is, fundamentally, what allows Rust to have memory safety without GC.