aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/2181.v
blob: 62820d869905b5784c914b45986bddf470cffbe0 (plain)
1
2
3
Class C.
Parameter P: C -> Prop.
Fail Record R: Type := { _: C; u: P _ }.