frontend 0.4.0

rustc's frontend with no LLVM and no std: parsing through MIR, as a library
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

use crate::rustc_type_ir::solve::QueryResultOrRerunNonErased;
use crate::rustc_type_ir::{self as ty, Interner};
use tracing::instrument;

use crate::rustc_next_trait_solver::delegate::SolverDelegate;
use crate::rustc_next_trait_solver::solve::{EvalCtxt, Goal};

impl<D, I> EvalCtxt<'_, D>
where
    D: SolverDelegate<Interner = I>,
    I: Interner,
{
    #[instrument(level = "trace", skip(self), ret)]
    pub(super) fn normalize_anon_const(
        &mut self,
        goal: Goal<I, ty::ProjectionClause<I>>,
    ) -> QueryResultOrRerunNonErased<I> {
        let alias_const = goal.predicate.projection_term.expect_ct();
        self.evaluate_const_and_instantiate_projection_term(
            goal.param_env,
            goal.predicate.projection_term,
            goal.predicate.term,
            alias_const,
        )
    }
}