pub struct State<'tcx, T> {
pub var_values: CanonicalVarValues<'tcx>,
pub data: T,
}
Expand description
Some data
together with information about how they relate to the input
of the canonical query.
This is only ever used as CanonicalState. Any type information in proof
trees used mechanically has to be canonicalized as we otherwise leak
inference variables from a nested InferCtxt
.
Fields§
§var_values: CanonicalVarValues<'tcx>
§data: T
Auto Trait Implementations§
impl<'tcx, T> !RefUnwindSafe for State<'tcx, T>
impl<'tcx, T> Send for State<'tcx, T>where T: Send,
impl<'tcx, T> Sync for State<'tcx, T>where T: Sync,
impl<'tcx, T> Unpin for State<'tcx, T>where T: Unpin,
impl<'tcx, T> !UnwindSafe for State<'tcx, T>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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.