1
Fork 0
This commit is contained in:
Adam Kobzan 2025-04-05 09:09:28 -07:00
parent 66a273083c
commit e31d1d51e4

View file

@ -396,14 +396,14 @@ impl<'tcx> GenericArgs<'tcx> {
InlineConstArgs { args: self }
}
/// Creates a `GenericArgs` that maps each generic parameter to itself.
/// Creates a [`GenericArgs`] that maps each generic parameter to itself.
pub fn identity_for_item(tcx: TyCtxt<'tcx>, def_id: impl Into<DefId>) -> GenericArgsRef<'tcx> {
Self::for_item(tcx, def_id.into(), |param, _| tcx.mk_param_from_def(param))
}
/// Creates a `GenericArgs` for generic parameter definitions,
/// Creates a [`GenericArgs`] for generic parameter definitions,
/// by calling closures to obtain each kind.
/// The closures get to observe the `GenericArgs` as they're
/// The closures get to observe the [`GenericArgs`] as they're
/// being built, which can be used to correctly
/// replace defaults of generic parameters.
pub fn for_item<F>(tcx: TyCtxt<'tcx>, def_id: DefId, mut mk_kind: F) -> GenericArgsRef<'tcx>