test-suite/bugs/closed/bug_6042.v


1
2
3
4
5
6
7

Class C (n: nat) := T{x:True}.
Generalizable All Variables.

Fail Instance i : C n.

Instance i : `(C n).
Proof. repeat constructor. Defined.