Ltac f := auto; intro.
Goal False.
f.
Abort.