`@lifetime` seem to be what I was referring to, strange though it wasn't mentioned at all in the article.

The ones in `@external` seem to be limited to C++ definitions outside the user control.

I had assumed the lifetime syntax with the `where` clauses would not be specific to @external blocks, to be fair.