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

Class Bar := {}.
Instance bb : Bar := {}.

Class Foo := { xx : Bar; foo : nat }.

Fail Instance bar : Foo := { foo := 1 + 1; foo := 2 + 2 }.