Skip to main content

rustc_next_trait_solver/solve/normalizes_to/
anon_const.rs

1use rustc_type_ir::solve::QueryResultOrRerunNonErased;
2use rustc_type_ir::{self as ty, Interner};
3use tracing::instrument;
4
5use crate::delegate::SolverDelegate;
6use crate::solve::{EvalCtxt, Goal};
7
8impl<D, I> EvalCtxt<'_, D>
9where
10    D: SolverDelegate<Interner = I>,
11    I: Interner,
12{
13    x;#[instrument(level = "trace", skip(self), ret)]
14    pub(super) fn normalize_anon_const(
15        &mut self,
16        goal: Goal<I, ty::NormalizesTo<I>>,
17        def_id: I::UnevaluatedConstId,
18    ) -> QueryResultOrRerunNonErased<I> {
19        let uv = goal.predicate.alias.expect_ct(self.cx());
20        self.evaluate_const_and_instantiate_normalizes_to_term(goal, uv)
21    }
22}