Function rustc_infer::infer::canonical::instantiate::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
.