PLANNED
Lifetimes
Status of user-visible lifetime syntax in Prismio and the checks available in 0.1.
Last verified
User-written lifetime parameters or annotations are not implemented in Prismio 0.1. There is no 'a-style syntax and no general reference type in source code.
The current compiler still enforces useful lifetime-related restrictions through parameter modes, move state, scope, array escape checks, and AIF. Those checks should not be described as a complete formal borrow checker.