Missing `@requires`.