Ltac inj := injection.
Goal False.
idtac; inj.
Abort.