#[deprecated(since = "X.Y", note = "Use idtac instead.")]
 Ltac foo := idtac.

Goal True.
foo.
Abort.