Also, this arm will literally never be triggered: at this point `self.token` is always an ident.