Struct rustc_type_ir::fast_reject::DeepRejectCtxt

pub struct DeepRejectCtxt<I: Interner> {
    treat_obligation_params: TreatParams,
    _interner: PhantomData<I>,
}

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

_interner: PhantomData<I>

Implementations

impl<I: Interner> DeepRejectCtxt<I>

pub fn new(_interner: I, treat_obligation_params: TreatParams) -> Self

pub fn args_may_unify( self, obligation_args: I::GenericArgs, impl_args: I::GenericArgs, ) -> bool

pub fn types_may_unify(self, obligation_ty: I::Ty, impl_ty: I::Ty) -> bool

pub fn consts_may_unify( self, obligation_ct: I::Const, impl_ct: I::Const, ) -> bool

Trait Implementations

impl<I: Clone + Interner> Clone for DeepRejectCtxt<I>

fn clone(&self) -> DeepRejectCtxt<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for DeepRejectCtxt<I>

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

Formats the value using the given formatter.

impl<I: Copy + Interner> Copy for DeepRejectCtxt<I>

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