# 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 opaque_types: Vec<(OpaqueTypeKey<'tcx>, Ty<'tcx>)>,
        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: 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`

## Auto Trait Implementations§

§

### impl<'tcx, R> !RefUnwindSafe for QueryResponse<'tcx, R>

§

### impl<'tcx, R> Send for QueryResponse<'tcx, R>
where R: Send,

§

### impl<'tcx, R> Sync for QueryResponse<'tcx, R>
where R: Sync,

§

### impl<'tcx, R> Unpin for QueryResponse<'tcx, R>
where R: Unpin,

§

### impl<'tcx, R> !UnwindSafe for QueryResponse<'tcx, R>

## Blanket Implementations§

source§

### impl<T> Any for T
where T: 'static + ?Sized,

source§

#### fn type_id(&self) -> TypeId

Gets the `TypeId` of `self`. Read more
source§

### impl<T> Borrow<T> for T
where T: ?Sized,

source§

#### fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

### impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

#### fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

### impl<T> From<T> for T

source§

#### fn from(t: T) -> T

Returns the argument unchanged.

source§

### impl<T, U> Into<U> for T
where U: From<T>,

source§

#### fn into(self) -> U

Calls `U::from(self)`.

That is, this conversion is whatever the implementation of `From<T> for U` chooses to do.

source§

### impl<T> ToOwned for T
where T: Clone,

§

#### type Owned = T

The resulting type after obtaining ownership.
source§

#### fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

#### fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

### impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

#### type Error = Infallible

The type returned in the event of a conversion error.
source§

#### fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

### impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

#### type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

#### fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

## 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.