Struct rustc_trait_selection::traits::query::type_op::TypeOpOutput
source · [−]pub struct TypeOpOutput<'tcx, Op: TypeOp<'tcx>> {
pub output: Op::Output,
pub constraints: Option<Rc<QueryRegionConstraints<'tcx>>>,
pub canonicalized_query: Option<Canonical<'tcx, Op>>,
}Expand description
The output from performing a type op
Fields
output: Op::OutputThe output from the type op.
constraints: Option<Rc<QueryRegionConstraints<'tcx>>>Any region constraints from performing the type op.
canonicalized_query: Option<Canonical<'tcx, Op>>The canonicalized form of the query. This for error reporting to be able to rerun the query.
Auto Trait Implementations
impl<'tcx, Op> !RefUnwindSafe for TypeOpOutput<'tcx, Op>
impl<'tcx, Op> !Send for TypeOpOutput<'tcx, Op>
impl<'tcx, Op> !Sync for TypeOpOutput<'tcx, Op>
impl<'tcx, Op> Unpin for TypeOpOutput<'tcx, Op> where
Op: Unpin,
<Op as TypeOp<'tcx>>::Output: Unpin,
impl<'tcx, Op> !UnwindSafe for TypeOpOutput<'tcx, Op>
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
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.