Skip to main content

## instantiate_value

# Function instantiate_value

Source

    pub(super) fn instantiate_value<'tcx, T>(
        tcx: TyCtxt<'tcx>,
        var_values: &CanonicalVarValues<'tcx>,
        value: T,
    ) -> Twhere
        T: TypeFoldable<TyCtxt<'tcx>>,

Expand description

Instantiate the values from `var_values` into `value`. `var_values` must be values for the set of canonical variables that appear in `value`.