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

Lemma foo (b : bool) :
  exists x : nat, x = x.
Proof.
eexists. 
Fail eexact (eq_refl b).