Struct rustc_trait_selection::infer::canonical::QueryResponse
source · [−]pub struct QueryResponse<'tcx, R> {
pub var_values: CanonicalVarValues<'tcx>,
pub region_constraints: QueryRegionConstraints<'tcx>,
pub certainty: Certainty,
pub value: R,
}Expand description
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: Certaintyvalue: RAuto Trait Implementations
impl<'tcx, R> !RefUnwindSafe for QueryResponse<'tcx, R>
impl<'tcx, R> !Send for QueryResponse<'tcx, R>
impl<'tcx, R> !Sync for QueryResponse<'tcx, R>
impl<'tcx, R> Unpin for QueryResponse<'tcx, R> where
R: Unpin,
impl<'tcx, R> !UnwindSafe for QueryResponse<'tcx, R>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
pub fn subst_spanned(
self,
tcx: TyCtxt<'tcx>,
substs: &[GenericArg<'tcx>],
span: Option<Span>
) -> T
fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. 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.