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