Attribute Macros

This attribute allows you to require that a function have all lifetimes in its input and output be present. A missing lifetime will cause a compiler error.