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

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

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

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion 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.