Abstract This proposal describes the implementation of a memory-safe reference type that does not use lifetime annotations. The goal of the proposal is to: Explore the viability of memory safety without lifetime parameters. Explain the infeasibility of making legacy lvalue- and rvalue-references memory safe. Address common objections to safety models that use lifetime annotations. Safe references “Safe C++”[safecpp] introduced a comprehensive design for compile-time memory safety in C++. The bor...