Limitations of `borrowing` / why not first-class borrowed references?

[ksluder (Kyle Sluder)]

Isn’t this exactly what

@KeithBauerANZ

We have noncopyable types now, we have nonescaping types now, why can't we have first-class references?

Isn’t this exactly what is being proposed?