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

Inductive Box A := box (_:A).
Inductive unit := tt.
Definition t := unit.
Record foo := { bar : Box t }.
Fail Scheme Equality for foo.