Skip to content

Commit 0ce8894

Browse files
committed
Mark evaluate_obligation query as eval_always
1 parent bd9949b commit 0ce8894

File tree

1 file changed

+5
-0
lines changed
  • compiler/rustc_middle/src/query

1 file changed

+5
-0
lines changed

compiler/rustc_middle/src/query/mod.rs

+5
Original file line numberDiff line numberDiff line change
@@ -1514,6 +1514,11 @@ rustc_queries! {
15141514
query evaluate_obligation(
15151515
goal: CanonicalPredicateGoal<'tcx>
15161516
) -> Result<traits::EvaluationResult, traits::OverflowError> {
1517+
// FIXME(#83538): This queery shouldm't be influenced by any untracked
1518+
// blobal state, but it currently is. We use `eval_aways` to prevent this
1519+
// from causing ICEs - when the underlying issue is fixed, the `eval_always`
1520+
// modifier should be removed.
1521+
eval_always
15171522
desc { "evaluating trait selection obligation `{}`", goal.value.value }
15181523
}
15191524

0 commit comments

Comments
 (0)