Struct rustc_trait_selection::traits::util::traits::query::type_op::ProvePredicate
source · pub struct ProvePredicate<'tcx> {
pub predicate: Predicate<'tcx>,
}Fields
predicate: Predicate<'tcx>Trait Implementations
sourceimpl<'tcx> QueryTypeOp<'tcx> for ProvePredicate<'tcx>
impl<'tcx> QueryTypeOp<'tcx> for ProvePredicate<'tcx>
type QueryResponse = ()
sourcefn try_fast_path(
tcx: TyCtxt<'tcx>,
key: &ParamEnvAnd<'tcx, Self>
) -> Option<Self::QueryResponse>
fn try_fast_path(
tcx: TyCtxt<'tcx>,
key: &ParamEnvAnd<'tcx, Self>
) -> Option<Self::QueryResponse>
Give query the option for a simple fast path that never
actually hits the tcx cache lookup etc. Return
Some(r) with
a final result or None to do the full path. Read moresourcefn perform_query(
tcx: TyCtxt<'tcx>,
canonicalized: Canonicalized<'tcx, ParamEnvAnd<'tcx, Self>>
) -> Fallible<CanonicalizedQueryResponse<'tcx, ()>>
fn perform_query(
tcx: TyCtxt<'tcx>,
canonicalized: Canonicalized<'tcx, ParamEnvAnd<'tcx, Self>>
) -> Fallible<CanonicalizedQueryResponse<'tcx, ()>>
Performs the actual query with the canonicalized key – the
real work happens here. This method is not given an
infcx
because it shouldn’t need one – and if it had access to one,
it might do things like invoke sub_regions, which would be
bad, because it would create subregion relationships that are
not captured in the return value. Read morefn fully_perform_into(
query_key: ParamEnvAnd<'tcx, Self>,
infcx: &InferCtxt<'tcx>,
output_query_region_constraints: &mut QueryRegionConstraints<'tcx>
) -> Fallible<(Self::QueryResponse, Option<Canonical<'tcx, ParamEnvAnd<'tcx, Self>>>, PredicateObligations<'tcx>, Certainty)>
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for ProvePredicate<'tcx>
impl<'tcx> Send for ProvePredicate<'tcx>
impl<'tcx> Sync for ProvePredicate<'tcx>
impl<'tcx> Unpin for ProvePredicate<'tcx>
impl<'tcx> !UnwindSafe for ProvePredicate<'tcx>
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, T> IsSuggestable<'tcx> for Twhere
T: TypeVisitable<'tcx>,
impl<'tcx, T> IsSuggestable<'tcx> for Twhere
T: TypeVisitable<'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: 8 bytes