test-suite/bugs/closed/4046.v


1
2
3
4
5
6

Module Import Foo.
  Class Foo := { foo : Type }.
End Foo.

Instance f : Foo := { foo := nat }. (* works fine *)
Instance f' : Foo.Foo := { Foo.foo := nat }.