test-suite/bugs/closed/3281.v


1
2
3
4
5

Fail Lemma foo : @eq _ nat Type.
Fail Lemma foo : @eq Set nat Type.

Lemma foo : @eq Type nat Type. Admitted.
Lemma foo' : @eq _ Type nat. Admitted.