Type Alias DeepRejectCtxt

pub type DeepRejectCtxt<'tcx, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> = DeepRejectCtxt<TyCtxt<'tcx>, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>;

Aliased Type

struct DeepRejectCtxt<'tcx, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> { /* private fields */ }

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: 0 bytes

Implementations

impl<I, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> DeepRejectCtxt<I, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>

where I: Interner,

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

pub fn types_may_unify( self, lhs: <I as Interner>::Ty, rhs: <I as Interner>::Ty, ) -> bool

impl<I> DeepRejectCtxt<I, false, false>

where I: Interner,

pub fn relate_rigid_rigid(_interner: I) -> DeepRejectCtxt<I, false, false>

Treat parameters in both the lhs and the rhs as rigid.

impl<I> DeepRejectCtxt<I, false, true>

where I: Interner,

pub fn relate_rigid_infer(_interner: I) -> DeepRejectCtxt<I, false, true>

Treat parameters in the lhs as rigid, and in rhs as infer vars.

impl<I> DeepRejectCtxt<I, true, true>

where I: Interner,

pub fn relate_infer_infer(_interner: I) -> DeepRejectCtxt<I, true, true>

Treat parameters in both the lhs and the rhs as infer vars.

Trait Implementations

impl<I, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> Clone for DeepRejectCtxt<I, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>

where I: Clone + Interner,

fn clone( &self, ) -> DeepRejectCtxt<I, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> Debug for DeepRejectCtxt<I, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>

where I: Debug + Interner,

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

Formats the value using the given formatter.

impl<I, const INSTANTIATE_LHS_WITH_INFER: bool, const INSTANTIATE_RHS_WITH_INFER: bool> Copy for DeepRejectCtxt<I, INSTANTIATE_LHS_WITH_INFER, INSTANTIATE_RHS_WITH_INFER>

where I: Copy + Interner,