Coming SoonPrismio 0.1.0
Lifetimes
Status of user-visible lifetime syntax in Prismio and the checks available in 0.1.
Last verified
Coming Soon. Not implemented in Prismio 0.1.0. Illustrative syntax on this page does not compile.
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.