Struct rustc_type_ir::debug::NoInfcx
source · pub struct NoInfcx<I>(PhantomData<I>);
Tuple Fields§
§0: PhantomData<I>
Trait Implementations§
source§impl<I: Interner> InferCtxtLike for NoInfcx<I>
impl<I: Interner> InferCtxtLike for NoInfcx<I>
type Interner = I
fn interner(&self) -> Self::Interner
fn universe_of_ty(&self, _ty: TyVid) -> Option<UniverseIndex>
fn universe_of_lt(&self, _lt: I::InferRegion) -> Option<UniverseIndex>
fn universe_of_ct(&self, _ct: ConstVid) -> Option<UniverseIndex>
source§fn root_ty_var(&self, vid: TyVid) -> TyVid
fn root_ty_var(&self, vid: TyVid) -> TyVid
Resolve
TyVid
to its root TyVid
.source§fn probe_ty_var(&self, _vid: TyVid) -> Option<I::Ty>
fn probe_ty_var(&self, _vid: TyVid) -> Option<I::Ty>
Resolve
TyVid
to its inferred type, if it has been equated with a non-infer type.source§fn opportunistic_resolve_lt_var(
&self,
_vid: I::InferRegion
) -> Option<I::Region>
fn opportunistic_resolve_lt_var( &self, _vid: I::InferRegion ) -> Option<I::Region>
Resolve
InferRegion
to its inferred region, if it has been equated with
a non-infer region. Read moresource§fn root_ct_var(&self, vid: ConstVid) -> ConstVid
fn root_ct_var(&self, vid: ConstVid) -> ConstVid
Resolve
ConstVid
to its root ConstVid
.source§fn probe_ct_var(&self, _vid: ConstVid) -> Option<I::Const>
fn probe_ct_var(&self, _vid: ConstVid) -> Option<I::Const>
Resolve
ConstVid
to its inferred type, if it has been equated with a non-infer type.fn defining_opaque_types(&self) -> <I as Interner>::DefiningOpaqueTypes
Auto Trait Implementations§
impl<I> DynSend for NoInfcx<I>where
I: DynSend,
impl<I> DynSync for NoInfcx<I>where
I: DynSync,
impl<I> Freeze for NoInfcx<I>
impl<I> RefUnwindSafe for NoInfcx<I>where
I: RefUnwindSafe,
impl<I> Send for NoInfcx<I>where
I: Send,
impl<I> Sync for NoInfcx<I>where
I: Sync,
impl<I> Unpin for NoInfcx<I>where
I: Unpin,
impl<I> UnwindSafe for NoInfcx<I>where
I: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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