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

Lemma f : Type.
Fail let i := ident:(i) in
let t := context i [Type] in
idtac.
Abort.