Struct rustc_middle::ty::fast_reject::DeepRejectCtxt

source ·

pub struct DeepRejectCtxt {
    pub treat_obligation_params: TreatParams,
}

Expand description

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

Struct rustc_middle::ty::fast_reject::DeepRejectCtxt

Fields§

Implementations§

impl DeepRejectCtxt

pub fn args_refs_may_unify<'tcx>( self, obligation_args: GenericArgsRef<'tcx>, impl_args: GenericArgsRef<'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

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

impl Debug for DeepRejectCtxt

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

impl Copy for DeepRejectCtxt

Auto Trait Implementations§

impl RefUnwindSafe for DeepRejectCtxt

impl Send for DeepRejectCtxt

impl Sync for DeepRejectCtxt

impl Unpin for DeepRejectCtxt

impl UnwindSafe for DeepRejectCtxt

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§