Expression candidate elimination with unsatisfiable assertion

[f37yu]

Reproduction:

int * g (int ) ;
long * g (long );

void h (long *);

forall (T * | {void h (T *); })
void f (T *);


int main() {
f(g(1));
}

Expected: calls g(long)
Actual: Attempts to resolve as g(int) and prints unsatisfiable assertion error. g(long) option is ignored.