Section S.
  Variable A : Prop.

  Fail Check A@{Type}.
  Check A@{}.
End S.