Struct rustc_middle::ty::fast_reject::DeepRejectCtxt

pub struct DeepRejectCtxt {
    pub treat_obligation_params: TreatParams,
}

Given generic arguments from an obligation and an impl, could these two be unified after replacing parameters in the the impl with inference variables.

For obligations, parameters won’t be replaced by inference variables and only unify with themselves. We treat them the same way we treat placeholders.

We also use this function during coherence. For coherence the impls only have to overlap for some value, so we treat parameters on both sides like inference variables. This behavior is toggled using the treat_obligation_params field.

Fields

treat_obligation_params: TreatParams

Implementations

impl DeepRejectCtxt

pub fn generic_args_may_unify<'tcx>(
    self,
    obligation_arg: GenericArg<'tcx>,
    impl_arg: GenericArg<'tcx>
) -> bool

pub fn types_may_unify<'tcx>(
    self,
    obligation_ty: Ty<'tcx>,
    impl_ty: Ty<'tcx>
) -> bool

pub fn consts_may_unify(
    self,
    obligation_ct: Const<'_>,
    impl_ct: Const<'_>
) -> bool

Trait Implementations

impl Clone for DeepRejectCtxt

fn clone(&self) -> DeepRejectCtxt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DeepRejectCtxt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for DeepRejectCtxt

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: 1 byte