Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir_ty/src/lower.rs')
| -rw-r--r-- | crates/hir_ty/src/lower.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/crates/hir_ty/src/lower.rs b/crates/hir_ty/src/lower.rs index 7373c9eb8b..596bf9ee0f 100644 --- a/crates/hir_ty/src/lower.rs +++ b/crates/hir_ty/src/lower.rs @@ -1286,7 +1286,11 @@ fn fn_sig_for_fn(db: &dyn HirDatabase, def: FunctionId) -> PolyFnSig { .with_type_param_mode(TypeParamLoweringMode::Variable); let ret = ctx_ret.lower_ty(&data.ret_type); let generics = generics(db.upcast(), def.into()); - make_binders(&generics, CallableSig::from_params_and_return(params, ret, data.is_varargs())) + let mut sig = CallableSig::from_params_and_return(params, ret, data.is_varargs()); + if !data.legacy_const_generics_indices.is_empty() { + sig.set_legacy_const_generics_indices(&data.legacy_const_generics_indices); + } + make_binders(&generics, sig) } /// Build the declared type of a function. This should not need to look at the |