path: root/test-suite/bugs/closed/3753.v

Axiom foo : Type -> Type.
Axiom bar : forall (T : Type), T -> foo T.
Arguments bar A x : rename.
About bar.