test-suite/bugs/closed/bug_8791.v


1
2
3
4
5
6
7
8
9

Class Inhabited (A : Type) : Type := populate { inhabitant : A }.

Definition A := 42.

Instance foo (A: Type): Inhabited (list A).
Check A.
Abort.

Fail Instance foo (A : nat) (A : Type) : Inhabited nat.