2181.v « shouldsucceed « closed « bugs « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/bugs/closed/shouldsucceed/2181.v

blob: 62820d869905b5784c914b45986bddf470cffbe0 (plain)

1
2
3

Class C.
Parameter P: C -> Prop.
Fail Record R: Type := { _: C; u: P _ }.