Struct rustc_trait_selection::traits::util::traits::ChalkEnvironmentAndGoal
source · pub struct ChalkEnvironmentAndGoal<'tcx> {
pub environment: &'tcx List<Predicate<'tcx>>,
pub goal: Predicate<'tcx>,
}
Expand description
A chalk environment and goal.
Fields
environment: &'tcx List<Predicate<'tcx>>
goal: Predicate<'tcx>
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for ChalkEnvironmentAndGoal<'tcx>
impl<'tcx> Send for ChalkEnvironmentAndGoal<'tcx>
impl<'tcx> Sync for ChalkEnvironmentAndGoal<'tcx>
impl<'tcx> Unpin for ChalkEnvironmentAndGoal<'tcx>
impl<'tcx> !UnwindSafe for ChalkEnvironmentAndGoal<'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: 16 bytes