Struct rustc_trait_selection::traits::query::type_op::TypeOpOutput
source · [−]pub struct TypeOpOutput<'tcx, Op: TypeOp<'tcx>> {
pub output: Op::Output,
pub constraints: Option<&'tcx QueryRegionConstraints<'tcx>>,
pub error_info: Option<Op::ErrorInfo>,
}
Expand description
The output from performing a type op
Fields
output: Op::Output
The output from the type op.
constraints: Option<&'tcx QueryRegionConstraints<'tcx>>
Any region constraints from performing the type op.
error_info: Option<Op::ErrorInfo>
Used 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 as TypeOp<'tcx>>::ErrorInfo: 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 · sourcefn borrow_mut(&mut self) -> &mut T
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.