diff options
| author | Edwin Cheng <[email protected]> | 2021-03-25 19:52:35 +0000 |
|---|---|---|
| committer | Edwin Cheng <[email protected]> | 2021-03-25 20:21:15 +0000 |
| commit | 8ce15b02dea7152953775904fd937cced2422bc6 (patch) | |
| tree | 7ae4be1d4da3bd083fe0bec65f9ed4f5db8eb8c4 /crates/hir_ty/src/infer | |
| parent | 59fdd7c84c5fdc16573f3cca4081d6735eaa9208 (diff) | |
Fix recursive macro statement expansion
Diffstat (limited to 'crates/hir_ty/src/infer')
| -rw-r--r-- | crates/hir_ty/src/infer/expr.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs index 3f3187ea2..e6ede05ca 100644 --- a/crates/hir_ty/src/infer/expr.rs +++ b/crates/hir_ty/src/infer/expr.rs | |||
| @@ -767,6 +767,7 @@ impl<'a> InferenceContext<'a> { | |||
| 767 | None => self.table.new_float_var(), | 767 | None => self.table.new_float_var(), |
| 768 | }, | 768 | }, |
| 769 | }, | 769 | }, |
| 770 | Expr::MacroStmts { tail } => self.infer_expr(*tail, expected), | ||
| 770 | }; | 771 | }; |
| 771 | // use a new type variable if we got unknown here | 772 | // use a new type variable if we got unknown here |
| 772 | let ty = self.insert_type_vars_shallow(ty); | 773 | let ty = self.insert_type_vars_shallow(ty); |