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>
)