test-suite/bugs/closed/3682.v


1
2
3
4
5
6

Require Import TestSuite.admit.
Class Foo.
Definition bar `{Foo} (x : Set) := Set.
Instance: Foo.
Definition bar1 := bar nat.
Definition bar2 := bar $(admit)$.