Skip to main content

instantiate_value

hir_ty::next_solver::infer::canonical::instantiate

Function instantiate_value 

Source 
pub(super) fn instantiate_value<'db, T>(
    tcx: DbInterner<'db>,
    var_values: &CanonicalVarValues<'db>,
    value: T,
) -> T
where
    T: TypeFoldable<DbInterner<'db>>,
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.