Struct rustc_trait_selection::traits::query::type_op::TypeOpOutput

pub struct TypeOpOutput<'tcx, Op: TypeOp<'tcx>> {
    pub output: Op::Output,
    pub constraints: Option<Rc<QueryRegionConstraints<'tcx>>>,
    pub canonicalized_query: Option<Canonical<'tcx, Op>>,
}

The output from performing a type op

Fields

output: Op::Output

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

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.