Struct rustc_trait_selection::traits::wf::WfPredicates

pub(in traits::wf) 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>

pub(in traits::wf) fn tcx(
    &self
) -> TyCtxt<'tcx>

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

pub(in traits::wf) fn normalize(
    self
) -> Vec<PredicateObligation<'tcx>>

pub(in traits::wf) 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.

pub(in traits::wf) fn compute_projection(
    &mut self,
    data: ProjectionTy<'tcx>
)

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

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

pub(in traits::wf) fn compute(
    &mut self,
    arg: GenericArg<'tcx>
)

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

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

pub(in traits::wf) fn from_object_ty(
    &mut self,
    ty: Ty<'tcx>,
    data: Binder<&'tcx List<ExistentialPredicate<'tcx>>>,
    region: Region<'tcx>
)