Struct rustc_middle::traits::solve::inspect::State

pub struct State<'tcx, T> {
    pub var_values: CanonicalVarValues<'tcx>,
    pub data: T,
}

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

Trait Implementations

impl<'tcx, T: Clone> Clone for State<'tcx, T>

fn clone(&self) -> State<'tcx, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx, T: Debug> Debug for State<'tcx, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, T: PartialEq> PartialEq<State<'tcx, T>> for State<'tcx, T>

fn eq(&self, other: &State<'tcx, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for State<'tcx, T>where T: TypeFoldable<TyCtxt<'tcx>>,

fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, __folder: &mut __F ) -> Result<Self, __F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

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.

impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for State<'tcx, T>where T: TypeVisitable<TyCtxt<'tcx>>,

fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>( &self, __visitor: &mut __V ) -> ControlFlow<__V::BreakTy>

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<'tcx, T: Copy> Copy for State<'tcx, T>

impl<'tcx, T: Eq> Eq for State<'tcx, T>

impl<'tcx, T> StructuralEq for State<'tcx, T>

impl<'tcx, T> StructuralPartialEq for State<'tcx, T>

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.