Function rustc_middle::query::queries::trigger_delayed_bug::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.