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§
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