iRewrite error message when the subterm is not found refers to non-existing fresh variable name
Testcase:
Lemma test_iRewrite_subterm_not_found `{!BiInternalEq PROP} {A : ofe} (x y z : A) :
y ≡ z ⊢@{PROP} x ≡ z.
Proof. iIntros "H". iRewrite "H".
This prints
Error: Found no subterm matching "x0" in the current goal.
but it should be saying that it did not find y
in the goal.