async def METHOD_NAME(
    self, user_id: int, solver_key: SolverKeyId, *, product_name: str
) -> list[Solver]:
    def _this_solver(solver: Solver) -> bool:
        return solver.id == solver_key
    releases: list[Solver] = await self.list_solvers(
        user_id, predicate=_this_solver, product_name=product_name
    )
    return releases