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

Fix inference for shift operators

Browse source 
Fixes #2602.
This commit is contained in:
Florian Diebold 2020-01-17 16:59:02 +01:00
parent 07dca1123d
commit 33d637f2dd
3 changed files with 35 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -386,11 +386,11 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
let lhs_ty = self.infer_expr(*lhs, &lhs_expectation);
// FIXME: find implementation of trait corresponding to operation
// symbol and resolve associated `Output` type
let rhs_expectation = op::binary_op_rhs_expectation(*op, lhs_ty);
let rhs_expectation = op::binary_op_rhs_expectation(*op, lhs_ty.clone());
let rhs_ty = self.infer_expr(*rhs, &Expectation::has_type(rhs_expectation));
// FIXME: similar as above, return ty is often associated trait type
op::binary_op_return_ty(*op, rhs_ty)
op::binary_op_return_ty(*op, lhs_ty, rhs_ty)
}
_ => Ty::Unknown,
},