pub type CanonicalVarInfo<'tcx> = CanonicalVarInfo<TyCtxt<'tcx>>;
Aliased Type§
struct CanonicalVarInfo<'tcx> {
pub kind: CanonicalVarKind<TyCtxt<'tcx>>,
}
Fields§
§kind: CanonicalVarKind<TyCtxt<'tcx>>
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: 24 bytes
Implementations
§impl<I> CanonicalVarInfo<I>where
I: Interner,
impl<I> CanonicalVarInfo<I>where
I: Interner,
pub fn universe(self) -> UniverseIndex
pub fn with_updated_universe(self, ui: UniverseIndex) -> CanonicalVarInfo<I>
pub fn is_existential(&self) -> bool
pub fn is_region(&self) -> bool
pub fn expect_placeholder_index(self) -> usize
Trait Implementations
§impl<I> Clone for CanonicalVarInfo<I>where
I: Interner,
impl<I> Clone for CanonicalVarInfo<I>where
I: Interner,
§fn clone(&self) -> CanonicalVarInfo<I>
fn clone(&self) -> CanonicalVarInfo<I>
Returns a copy of the value. Read more
Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more§impl<I> Debug for CanonicalVarInfo<I>where
I: Interner,
impl<I> Debug for CanonicalVarInfo<I>where
I: Interner,
§impl<I, __D> Decodable<__D> for CanonicalVarInfo<I>
impl<I, __D> Decodable<__D> for CanonicalVarInfo<I>
fn decode(__decoder: &mut __D) -> CanonicalVarInfo<I>
§impl<I, __E> Encodable<__E> for CanonicalVarInfo<I>
impl<I, __E> Encodable<__E> for CanonicalVarInfo<I>
§impl<I> Hash for CanonicalVarInfo<I>where
I: Interner,
impl<I> Hash for CanonicalVarInfo<I>where
I: Interner,
§impl<I, __CTX> HashStable<__CTX> for CanonicalVarInfo<I>
impl<I, __CTX> HashStable<__CTX> for CanonicalVarInfo<I>
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
§impl<I> PartialEq for CanonicalVarInfo<I>where
I: Interner,
impl<I> PartialEq for CanonicalVarInfo<I>where
I: Interner,
§impl<I> TypeFoldable<I> for CanonicalVarInfo<I>
impl<I> TypeFoldable<I> for CanonicalVarInfo<I>
§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<CanonicalVarInfo<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<CanonicalVarInfo<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
§fn fold_with<F>(self, folder: &mut F) -> Selfwhere
F: TypeFolder<I>,
fn fold_with<F>(self, folder: &mut F) -> Selfwhere
F: TypeFolder<I>,
A convenient alternative to
try_fold_with
for use with infallible
folders. Do not override this method, to ensure coherence with
try_fold_with
.