Why does this exist? This seems exactly the same as `@token_discard`