pub type QueryInput<'tcx, P> = QueryInput<TyCtxt<'tcx>, P>;
Aliased Type§
pub struct QueryInput<'tcx, P> {
pub goal: Goal<TyCtxt<'tcx>, P>,
pub predefined_opaques_in_body: &'tcx RawList<(), (OpaqueTypeKey<TyCtxt<'tcx>>, Ty<'tcx>)>,
}
Fields§
§goal: Goal<TyCtxt<'tcx>, P>
§predefined_opaques_in_body: &'tcx RawList<(), (OpaqueTypeKey<TyCtxt<'tcx>>, Ty<'tcx>)>
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.