2181.v « closed « bugs « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

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 _ }.