diff options
Diffstat (limited to 'crates/ra_hir/src/ty/infer.rs')
-rw-r--r-- | crates/ra_hir/src/ty/infer.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs index 905fe9f0e..6cc5dbc6f 100644 --- a/crates/ra_hir/src/ty/infer.rs +++ b/crates/ra_hir/src/ty/infer.rs | |||
@@ -946,6 +946,11 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
946 | then_ty | 946 | then_ty |
947 | } | 947 | } |
948 | Expr::Block { statements, tail } => self.infer_block(statements, *tail, expected), | 948 | Expr::Block { statements, tail } => self.infer_block(statements, *tail, expected), |
949 | Expr::TryBlock { body } => { | ||
950 | let _inner = self.infer_expr(*body, expected); | ||
951 | // FIXME should be std::result::Result<{inner}, _> | ||
952 | Ty::Unknown | ||
953 | } | ||
949 | Expr::Loop { body } => { | 954 | Expr::Loop { body } => { |
950 | self.infer_expr(*body, &Expectation::has_type(Ty::unit())); | 955 | self.infer_expr(*body, &Expectation::has_type(Ty::unit())); |
951 | // FIXME handle break with value | 956 | // FIXME handle break with value |