Unset Keep Admitted Variables.

Section a.
  Context (x : Type).
  Definition foo : Type.
  Admitted.
End a.
Check foo : Type.