language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-02 22:54:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Don't let unknown match arms fall back to !

Browse source
This commit is contained in:
Florian Diebold 2020-02-11 21:07:18 +01:00
parent 00e672a51b
commit 43df7c3d53
2 changed files with 22 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/ra_hir_ty/src/infer/expr.rs
View file

@ -165,7 +165,11 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
Expr::Match { expr, arms } => {
let input_ty = self.infer_expr(*expr, &Expectation::none());
let mut result_ty = self.table.new_maybe_never_type_var();
let mut result_ty = if arms.len() == 0 {
Ty::simple(TypeCtor::Never)
} else {
self.table.new_type_var()
};
for arm in arms {
let _pat_ty = self.infer_pat(arm.pat, &input_ty, BindingMode::default());