lang::lifetimes

Status: planned

Explicit lifetime annotations - not needed under the current memory model; tracked in case a borrow-checker mode lands.