provided_to_erased in rustc_middle::queries::thir_abstract_const - Rust
Description: This helper function takes a value returned by the query provider (or loaded from disk, or supplied by query feeding), allocates it in an arena if requested by the `arena_cache` modifier, and then returns an erased copy of it.

Skip to main content

## provided_to_erased

# Function provided_to_erased

Source

    pub fn provided_to_erased<'tcx>(
        tcx: TyCtxt<'tcx>,
        provided_value: ProvidedValue<'tcx>,
    ) -> Erased<Value<'tcx>>

Expand description

This helper function takes a value returned by the query provider (or loaded from disk, or supplied by query feeding), allocates it in an arena if requested by the `arena_cache` modifier, and then returns an erased copy of it.