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