test-suite/bugs/closed/bug_9631.v


1
2
3
4
5
6
7

Fail Instance x : _.

Existing Class True.
(* the type is checked for typeclass-ness before interping the body so
   this is the same error *)
Fail Instance x : _ := I.