Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir_ty/src/infer/expr.rs')
| -rw-r--r-- | crates/hir_ty/src/infer/expr.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs index c52dd3e8ed..c093f0e4b2 100644 --- a/crates/hir_ty/src/infer/expr.rs +++ b/crates/hir_ty/src/infer/expr.rs @@ -1032,10 +1032,10 @@ impl<'a> InferenceContext<'a> { def_generics: Generics, generic_args: Option<&GenericArgs>, ) -> Substitution { - let (parent_params, self_params, type_params, impl_trait_params) = + let (parent_params, self_params, type_params, const_params, impl_trait_params) = def_generics.provenance_split(); assert_eq!(self_params, 0); // method shouldn't have another Self param - let total_len = parent_params + type_params + impl_trait_params; + let total_len = parent_params + type_params + const_params + impl_trait_params; let mut substs = Vec::with_capacity(total_len); // Parent arguments are unknown for (_id, param) in def_generics.iter_parent() { @@ -1044,7 +1044,8 @@ impl<'a> InferenceContext<'a> { substs.push(self.table.new_type_var()); } TypeOrConstParamData::ConstParamData(_) => { - // FIXME: here we should do something + // FIXME: here we should do something else + substs.push(self.table.new_type_var()); } } } |