pub type NormalizesTo<'tcx> = NormalizesTo<TyCtxt<'tcx>>;
Aliased Type§
struct NormalizesTo<'tcx> {
pub alias: AliasTerm<TyCtxt<'tcx>>,
pub term: Term<'tcx>,
}
Fields§
§alias: AliasTerm<TyCtxt<'tcx>>
§term: Term<'tcx>
Implementations
Source§impl<I> NormalizesTo<I>where
I: Interner,
impl<I> NormalizesTo<I>where
I: Interner,
Trait Implementations§
Source§impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for NormalizesTo<'tcx>
impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for NormalizesTo<'tcx>
Source§impl<I> Clone for NormalizesTo<I>where
I: Interner,
impl<I> Clone for NormalizesTo<I>where
I: Interner,
Source§fn clone(&self) -> NormalizesTo<I>
fn clone(&self) -> NormalizesTo<I>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl<I> Debug for NormalizesTo<I>where
I: Interner,
impl<I> Debug for NormalizesTo<I>where
I: Interner,
Source§impl<I, __D> Decodable<__D> for NormalizesTo<I>
impl<I, __D> Decodable<__D> for NormalizesTo<I>
fn decode(__decoder: &mut __D) -> NormalizesTo<I>
Source§impl<I> Display for NormalizesTo<I>where
I: Interner,
impl<I> Display for NormalizesTo<I>where
I: Interner,
Source§impl<I, __E> Encodable<__E> for NormalizesTo<I>
impl<I, __E> Encodable<__E> for NormalizesTo<I>
Source§impl<I> Hash for NormalizesTo<I>where
I: Interner,
impl<I> Hash for NormalizesTo<I>where
I: Interner,
Source§impl<I, __CTX> HashStable<__CTX> for NormalizesTo<I>
impl<I, __CTX> HashStable<__CTX> for NormalizesTo<I>
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I, J> Lift<J> for NormalizesTo<I>
impl<I, J> Lift<J> for NormalizesTo<I>
type Lifted = NormalizesTo<J>
fn lift_to_interner(self, interner: J) -> Option<NormalizesTo<J>>
Source§impl<I> PartialEq for NormalizesTo<I>where
I: Interner,
impl<I> PartialEq for NormalizesTo<I>where
I: Interner,
Source§impl<I> TypeFoldable<I> for NormalizesTo<I>
impl<I> TypeFoldable<I> for NormalizesTo<I>
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<NormalizesTo<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<NormalizesTo<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
Source§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
.Source§impl<I> TypeVisitable<I> for NormalizesTo<I>
impl<I> TypeVisitable<I> for NormalizesTo<I>
Source§fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
impl<I> Copy for NormalizesTo<I>where
I: Interner,
impl<I> Eq for NormalizesTo<I>where
I: Interner,
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