set_solver regression: goal with set_map is no longer solved
Code says it all:
Lemma test `{Countable A, Countable B} (h : A → B) (x : A) (s : gset A) :
(∀ x0 y : A, x0 ∈ {[x]} ∪ s → y ∈ {[x]} ∪ s → h x0 = h y → x0 = y) →
(x ∉ s) →
{[h x]} ##@{gset B} set_map h s.
Proof.
Fail set_solver.
set_solver by idtac.