Ltac f := fail.
Goal False.
idtac; f.
Abort.