Module rustc_next_trait_solver::solve::project_goals