pub type UnevaluatedConst<'tcx> = UnevaluatedConst<TyCtxt<'tcx>>;
Aliased Type§
struct UnevaluatedConst<'tcx> {
pub def: DefId,
pub args: &'tcx RawList<(), GenericArg<'tcx>>,
}
Fields§
§def: DefId
§args: &'tcx RawList<(), GenericArg<'tcx>>
Implementations
Source§impl<I> UnevaluatedConst<I>where
I: Interner,
impl<I> UnevaluatedConst<I>where
I: Interner,
pub fn new( def: <I as Interner>::DefId, args: <I as Interner>::GenericArgs, ) -> UnevaluatedConst<I>
Trait Implementations§
Source§impl<I> Clone for UnevaluatedConst<I>where
I: Interner,
impl<I> Clone for UnevaluatedConst<I>where
I: Interner,
Source§fn clone(&self) -> UnevaluatedConst<I>
fn clone(&self) -> UnevaluatedConst<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 UnevaluatedConst<I>where
I: Interner,
impl<I> Debug for UnevaluatedConst<I>where
I: Interner,
Source§impl<I, __D> Decodable<__D> for UnevaluatedConst<I>
impl<I, __D> Decodable<__D> for UnevaluatedConst<I>
fn decode(__decoder: &mut __D) -> UnevaluatedConst<I>
Source§impl<I, __E> Encodable<__E> for UnevaluatedConst<I>
impl<I, __E> Encodable<__E> for UnevaluatedConst<I>
Source§impl<I> Hash for UnevaluatedConst<I>where
I: Interner,
impl<I> Hash for UnevaluatedConst<I>where
I: Interner,
Source§impl<I, __CTX> HashStable<__CTX> for UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: HashStable<__CTX>,
<I as Interner>::GenericArgs: HashStable<__CTX>,
impl<I, __CTX> HashStable<__CTX> for UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: HashStable<__CTX>,
<I as Interner>::GenericArgs: HashStable<__CTX>,
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I> IntoDiagArg for UnevaluatedConst<I>where
I: Interner,
impl<I> IntoDiagArg for UnevaluatedConst<I>where
I: Interner,
fn into_diag_arg(self) -> DiagArgValue
Source§impl<I, J> Lift<J> for UnevaluatedConst<I>
impl<I, J> Lift<J> for UnevaluatedConst<I>
type Lifted = UnevaluatedConst<J>
fn lift_to_interner(self, interner: J) -> Option<UnevaluatedConst<J>>
Source§impl<I> PartialEq for UnevaluatedConst<I>where
I: Interner,
impl<I> PartialEq for UnevaluatedConst<I>where
I: Interner,
Source§impl<I> TypeFoldable<I> for UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: TypeFoldable<I>,
<I as Interner>::GenericArgs: TypeFoldable<I>,
impl<I> TypeFoldable<I> for UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: TypeFoldable<I>,
<I as Interner>::GenericArgs: TypeFoldable<I>,
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<UnevaluatedConst<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<UnevaluatedConst<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 UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: TypeVisitable<I>,
<I as Interner>::GenericArgs: TypeVisitable<I>,
impl<I> TypeVisitable<I> for UnevaluatedConst<I>where
I: Interner,
<I as Interner>::DefId: TypeVisitable<I>,
<I as Interner>::GenericArgs: TypeVisitable<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 UnevaluatedConst<I>where
I: Interner,
impl<I> Eq for UnevaluatedConst<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: 16 bytes