1 2 3 4 5 6 7 8 9 10
Section foo. Variable A : Type. Let B := A. Hint Unfold B. Goal False. clear B. autounfold with core. Abort. End foo.