Ltac a := intro.
Ltac b := a.
Goal True.
b.
Abort.