test-suite/bugs/closed/bug_10176.v


1
2
3
4
5
6
7

Class Foo (xxx:nat) := foo : nat.

Lemma aa `{Foo} : nat. Abort.

Fail Lemma xy (Foo:bool->Type) `{Foo} : nat.

Fail Lemma yx (Fooo:bool->Type) `{Fooo} : nat.