(* Check success of inference of evars in the context of lemmas *)

Lemma foo x : True.