fixed around Solver#_promise