Struct rustc_trait_selection::solve::inspect::analyse::NormalizesToTermHack

struct NormalizesToTermHack<'tcx> {
    term: Term<'tcx>,
    unconstrained_term: Term<'tcx>,
}

The expected term of a NormalizesTo goal gets replaced with an unconstrained inference variable when computing NormalizesTo goals and we return the nested goals to the caller, who also equates the actual term with the expected.

This is an implementation detail of the trait solver and not something we want to leak to users. We therefore treat NormalizesTo goals as if they apply the expected type at the end of each candidate.

Fields

term: Term<'tcx>

unconstrained_term: Term<'tcx>

Implementations

impl<'tcx> NormalizesToTermHack<'tcx>

fn constrain( self, infcx: &InferCtxt<'tcx>, span: Span, param_env: ParamEnv<'tcx>, ) -> Result<Certainty, NoSolution>

Relate the term with the new unconstrained_term created when computing the proof tree for this NormalizesTo goals. This handles nested obligations.

Trait Implementations

impl<'tcx> Clone for NormalizesToTermHack<'tcx>

fn clone(&self) -> NormalizesToTermHack<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for NormalizesToTermHack<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes