path: root/test-suite/bugs/closed/7867.v

(* Was a printer anomaly due to an internal lambda with no binders *)

Class class := { foo : nat }.
Fail Instance : class := { foo := 0 ; bar := 0 }.