Function rustc_middle::query::queries::type_op_normalize_ty::provided_to_erased
source ยท pub fn provided_to_erased<'tcx>(
_tcx: TyCtxt<'tcx>,
value: ProvidedValue<'tcx>,
) -> Erase<Value<'tcx>>
Expand description
This function takes ProvidedValue
and coverts it to an erased Value
by
allocating it on an arena if the query has the arena_cache
modifier. The
value is then erased and returned. This will happen when computing the query
using a provider or decoding a stored result.