Type Alias ProvidedValue

Source
pub type ProvidedValue<'tcx> = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>;
Expand description

This type alias specifies the type returned from query providers and the type used for decoding. For regular queries this is the declared returned type V, but arena_cache will use <V as ArenaCached>::Provided instead.

Aliased Type§

pub enum ProvidedValue<'tcx> {
    Ok(&'tcx Canonical<TyCtxt<'tcx>, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>),
    Err(NoSolution),
}

Variants§

§

Ok(&'tcx Canonical<TyCtxt<'tcx>, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>)

Contains the success value

§

Err(NoSolution)

Contains the error value

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.