stall ConstArgHasType in compute_goal_fast_path

compiler-errors · compiler-errors · commit 585eac88c827 · 2025-07-30T20:30:17.000Z
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs
@@ -135,6 +135,13 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate<
                     None
                 }
             }
+            ty::PredicateKind::Clause(ty::ClauseKind::ConstArgHasType(ct, _)) => {
+                if self.shallow_resolve_const(ct).is_ct_infer() {
+                    Some(Certainty::AMBIGUOUS)
+                } else {
+                    None
+                }
+            }
             ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(arg)) => {
                 let arg = self.shallow_resolve_term(arg);
                 if arg.is_trivially_wf(self.tcx) {

Original file line number	Diff line number	Diff line change
`@@ -135,6 +135,13 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate<`
`135`	`135`	`None`
`136`	`136`	`}`
`137`	`137`	`}`
	`138`	`+ ty::PredicateKind::Clause(ty::ClauseKind::ConstArgHasType(ct, _)) => {`
	`139`	`+ if self.shallow_resolve_const(ct).is_ct_infer() {`
	`140`	`+ Some(Certainty::AMBIGUOUS)`
	`141`	`+ } else {`
	`142`	`+ None`
	`143`	`+ }`
	`144`	`+ }`
`138`	`145`	`ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(arg)) => {`
`139`	`146`	`let arg = self.shallow_resolve_term(arg);`
`140`	`147`	`if arg.is_trivially_wf(self.tcx) {`