Safe C++ proposes checked borrowing inside an explicit subset
engineeringcppmemory-safetyborrowingstandardsP3390R0 combines borrow checking with new library types and an explicit safe context. Its iterator and lock examples show why lifetime checking requires information that conventional C++ interfaces often omit.