diff options
Diffstat (limited to 'crates/hir_ty/src/infer/pat.rs')
| -rw-r--r-- | crates/hir_ty/src/infer/pat.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/crates/hir_ty/src/infer/pat.rs b/crates/hir_ty/src/infer/pat.rs index e4813c87c..f88d5c5d3 100644 --- a/crates/hir_ty/src/infer/pat.rs +++ b/crates/hir_ty/src/infer/pat.rs | |||
| @@ -33,7 +33,8 @@ impl<'a> InferenceContext<'a> { | |||
| 33 | } | 33 | } |
| 34 | self.unify(&ty, expected); | 34 | self.unify(&ty, expected); |
| 35 | 35 | ||
| 36 | let substs = ty.substs().cloned().unwrap_or_else(|| Substitution::empty(&Interner)); | 36 | let substs = |
| 37 | ty.as_adt().map(|(_, s)| s.clone()).unwrap_or_else(|| Substitution::empty(&Interner)); | ||
| 37 | 38 | ||
| 38 | let field_tys = def.map(|it| self.db.field_types(it)).unwrap_or_default(); | 39 | let field_tys = def.map(|it| self.db.field_types(it)).unwrap_or_default(); |
| 39 | let (pre, post) = match ellipsis { | 40 | let (pre, post) = match ellipsis { |
| @@ -74,7 +75,8 @@ impl<'a> InferenceContext<'a> { | |||
| 74 | 75 | ||
| 75 | self.unify(&ty, expected); | 76 | self.unify(&ty, expected); |
| 76 | 77 | ||
| 77 | let substs = ty.substs().cloned().unwrap_or_else(|| Substitution::empty(&Interner)); | 78 | let substs = |
| 79 | ty.as_adt().map(|(_, s)| s.clone()).unwrap_or_else(|| Substitution::empty(&Interner)); | ||
| 78 | 80 | ||
| 79 | let field_tys = def.map(|it| self.db.field_types(it)).unwrap_or_default(); | 81 | let field_tys = def.map(|it| self.db.field_types(it)).unwrap_or_default(); |
| 80 | for subpat in subpats { | 82 | for subpat in subpats { |