pub type QueryInput<'tcx, P> = QueryInput<TyCtxt<'tcx>, P>;
Aliased Type§
struct QueryInput<'tcx, P> {
pub goal: Goal<TyCtxt<'tcx>, P>,
pub predefined_opaques_in_body: PredefinedOpaques<'tcx>,
}
Fields§
§goal: Goal<TyCtxt<'tcx>, P>
§predefined_opaques_in_body: PredefinedOpaques<'tcx>
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.
Trait Implementations
Source§impl<I, P> Clone for QueryInput<I, P>
impl<I, P> Clone for QueryInput<I, P>
Source§fn clone(&self) -> QueryInput<I, P>
fn clone(&self) -> QueryInput<I, P>
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, P> Debug for QueryInput<I, P>
impl<I, P> Debug for QueryInput<I, P>
Source§impl<I, P, __D> Decodable<__D> for QueryInput<I, P>
impl<I, P, __D> Decodable<__D> for QueryInput<I, P>
fn decode(__decoder: &mut __D) -> QueryInput<I, P>
Source§impl<I, P, __E> Encodable<__E> for QueryInput<I, P>
impl<I, P, __E> Encodable<__E> for QueryInput<I, P>
Source§impl<I, P> Hash for QueryInput<I, P>
impl<I, P> Hash for QueryInput<I, P>
Source§impl<I, P, __CTX> HashStable<__CTX> for QueryInput<I, P>where
I: Interner,
Goal<I, P>: HashStable<__CTX>,
<I as Interner>::PredefinedOpaques: HashStable<__CTX>,
impl<I, P, __CTX> HashStable<__CTX> for QueryInput<I, P>where
I: Interner,
Goal<I, P>: HashStable<__CTX>,
<I as Interner>::PredefinedOpaques: HashStable<__CTX>,
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I, P> PartialEq for QueryInput<I, P>
impl<I, P> PartialEq for QueryInput<I, P>
Source§impl<I, P> TypeFoldable<I> for QueryInput<I, P>where
I: Interner,
Goal<I, P>: TypeFoldable<I>,
<I as Interner>::PredefinedOpaques: TypeFoldable<I>,
impl<I, P> TypeFoldable<I> for QueryInput<I, P>where
I: Interner,
Goal<I, P>: TypeFoldable<I>,
<I as Interner>::PredefinedOpaques: TypeFoldable<I>,
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<QueryInput<I, P>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<QueryInput<I, P>, <__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
.