Module rustc_trait_selection::solve::project_goals