Struct rustc_middle::infer::canonical::QueryResponse

pub struct QueryResponse<'tcx, R> {
    pub var_values: CanonicalVarValues<'tcx>,
    pub region_constraints: QueryRegionConstraints<'tcx>,
    pub certainty: Certainty,
    pub opaque_types: Vec<(OpaqueTypeKey<'tcx>, Ty<'tcx>)>,
    pub value: R,
}

After we execute a query with a canonicalized key, we get back a Canonical<QueryResponse<..>>. You can use instantiate_query_result to access the data in this result.

Fields

var_values: CanonicalVarValues<'tcx>

region_constraints: QueryRegionConstraints<'tcx>

certainty: Certainty

opaque_types: Vec<(OpaqueTypeKey<'tcx>, Ty<'tcx>)>

List of opaque types which we tried to compare to another type. Inside the query we don’t know yet whether the opaque type actually should get its hidden type inferred. So we bubble the opaque type and the type it was compared against upwards and let the query caller handle it.

value: R

Implementations

impl<'tcx, R> QueryResponse<'tcx, R>

pub fn is_proven(&self) -> bool

Trait Implementations

impl<'tcx, R: Clone> Clone for QueryResponse<'tcx, R>

fn clone(&self) -> QueryResponse<'tcx, R>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx, R: Debug> Debug for QueryResponse<'tcx, R>

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

Formats the value using the given formatter.

impl<'tcx, '__ctx, R> HashStable<StableHashingContext<'__ctx>> for QueryResponse<'tcx, R>where R: HashStable<StableHashingContext<'__ctx>>,

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )

impl<'tcx, '__lifted, R> Lift<'__lifted> for QueryResponse<'tcx, R>where R: Lift<'__lifted>,

type Lifted = QueryResponse<'__lifted, <R as Lift<'__lifted>>::Lifted>

fn lift_to_tcx( self, __tcx: TyCtxt<'__lifted> ) -> Option<QueryResponse<'__lifted, R::Lifted>>

impl<'tcx, R> TypeFoldable<TyCtxt<'tcx>> for QueryResponse<'tcx, R>where R: 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, R> TypeVisitable<TyCtxt<'tcx>> for QueryResponse<'tcx, R>where R: 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).

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.