aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/opened/3554.v
blob: 422c5770ea99a85f8e9a4f01cf51272aa36f9ddc (plain)
1
Fail Example foo (f : forall {_ : Type}, Type) : Type.