Struct rustc_trait_selection::traits::wf::WfPredicates

struct WfPredicates<'a, 'tcx> {
    infcx: &'a InferCtxt<'a, 'tcx>,
    param_env: ParamEnv<'tcx>,
    body_id: HirId,
    span: Span,
    out: Vec<PredicateObligation<'tcx>>,
    recursion_depth: usize,
    item: Option<&'tcx Item<'tcx>>,
}

Fields

infcx: &'a InferCtxt<'a, 'tcx>

param_env: ParamEnv<'tcx>

body_id: HirId

span: Span

out: Vec<PredicateObligation<'tcx>>

recursion_depth: usize

item: Option<&'tcx Item<'tcx>>

Implementations

impl<'a, 'tcx> WfPredicates<'a, 'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn cause(&self, code: ObligationCauseCode<'tcx>) -> ObligationCause<'tcx>

fn normalize(self) -> Vec<PredicateObligation<'tcx>>

fn compute_trait_ref(
    &mut self,
    trait_ref: &TraitRef<'tcx>,
    elaborate: Elaborate
)

Pushes the obligations required for trait_ref to be WF into self.out.

fn compute_projection(&mut self, data: ProjectionTy<'tcx>)

Pushes the obligations required for trait_ref::Item to be WF into self.out.

fn require_sized(&mut self, subty: Ty<'tcx>, cause: ObligationCauseCode<'tcx>)

fn compute(&mut self, arg: GenericArg<'tcx>)

Pushes all the predicates needed to validate that ty is WF into out.

fn nominal_obligations(
    &mut self,
    def_id: DefId,
    substs: SubstsRef<'tcx>
) -> Vec<PredicateObligation<'tcx>>

fn from_object_ty(
    &mut self,
    ty: Ty<'tcx>,
    data: &'tcx List<Binder<'tcx, ExistentialPredicate<'tcx>>>,
    region: Region<'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: 72 bytes