pub type Goal<'tcx, P> = Goal<TyCtxt<'tcx>, P>;
Aliased Type§
struct Goal<'tcx, P> {
pub param_env: ParamEnv<'tcx>,
pub predicate: P,
}
Fields§
§param_env: ParamEnv<'tcx>
§predicate: P
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.
Implementations
Trait Implementations
Source§impl<I, P, __CTX> HashStable<__CTX> for Goal<I, P>
impl<I, P, __CTX> HashStable<__CTX> for Goal<I, P>
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I, P> TypeFoldable<I> for Goal<I, P>
impl<I, P> TypeFoldable<I> for Goal<I, P>
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<Goal<I, P>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<Goal<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
.