Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/generic_arg.rs')
-rw-r--r--crates/hir-ty/src/next_solver/generic_arg.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/hir-ty/src/next_solver/generic_arg.rs b/crates/hir-ty/src/next_solver/generic_arg.rs
index 4e5f3c8c49..22b34b379d 100644
--- a/crates/hir-ty/src/next_solver/generic_arg.rs
+++ b/crates/hir-ty/src/next_solver/generic_arg.rs
@@ -553,7 +553,7 @@ impl<'db> GenericArgs<'db> {
/// replace defaults of generic parameters.
pub fn for_item<F>(
interner: DbInterner<'db>,
- def_id: SolverDefId,
+ def_id: SolverDefId<'db>,
mk_kind: F,
) -> GenericArgs<'db>
where
@@ -579,7 +579,7 @@ impl<'db> GenericArgs<'db> {
}
/// Creates an all-error `GenericArgs`.
- pub fn error_for_item(interner: DbInterner<'db>, def_id: SolverDefId) -> GenericArgs<'db> {
+ pub fn error_for_item(interner: DbInterner<'db>, def_id: SolverDefId<'db>) -> GenericArgs<'db> {
GenericArgs::for_item(interner, def_id, |_, id, _, _| {
GenericArg::error_from_id(interner, id)
})
@@ -606,7 +606,7 @@ impl<'db> GenericArgs<'db> {
/// Like `for_item()`, but calls first uses the args from `first`.
pub fn fill_rest<F>(
interner: DbInterner<'db>,
- def_id: SolverDefId,
+ def_id: SolverDefId<'db>,
first: impl IntoIterator<Item = GenericArg<'db>>,
mut fallback: F,
) -> GenericArgs<'db>