aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3554.v
blob: 13a79cc840da86c6db33cbc544aa662462869d57 (plain)
1
Example foo (f : forall {_ : Type}, Type) : Type.