rust-analyzer/crates/ra_hir_ty/src
Emil Lauridsen 85d44cad45 infer: Make expected rhs type for plain assign the lhs type
This fixes an issue where the following code sample would fail to infer
the type contained in the option:
```rust
fn main() {
    let mut end = None; // TODO: Fix inference for this in RA
    loop {
        end = Some(true);
    }
}
```
2020-05-10 16:24:04 +02:00
..
infer Handle coercing function types to function pointers in match 2020-05-08 22:14:01 +02:00
tests infer: Make expected rhs type for plain assign the lhs type 2020-05-10 16:24:04 +02:00
traits Update Chalk, and cache Chalk env elaboration through a query 2020-04-20 19:16:01 +02:00
_match.rs Fix usefulness check for never type 2020-05-06 17:59:27 +03:00
autoderef.rs Switch Chalk to recursive solver 2020-04-16 13:06:23 +02:00
db.rs Rename StructField -> Field 2020-04-25 14:23:34 +02:00
diagnostics.rs Add diagnostic for break outside of loop 2020-05-08 19:48:03 +02:00
display.rs New HirDisplay method for displaying sourcecode 2020-05-08 17:12:18 +02:00
expr.rs Rename StructField -> Field 2020-04-25 14:23:34 +02:00
infer.rs Add diagnostic for break outside of loop 2020-05-08 19:48:03 +02:00
lib.rs Handle coercing function types to function pointers in match 2020-05-08 22:14:01 +02:00
lower.rs Rename to associated_type_shorthand_candidates 2020-04-30 00:10:30 +02:00
marks.rs Handle coercing function types to function pointers in match 2020-05-08 22:14:01 +02:00
method_resolution.rs Look up impls by self type 2020-04-11 18:04:09 +02:00
op.rs infer: Make expected rhs type for plain assign the lhs type 2020-05-10 16:24:04 +02:00
primitive.rs Doc primitives 2019-11-26 15:41:48 +03:00
test_db.rs missing match arm diagnostic support enum record type 2020-04-18 05:54:56 -07:00
tests.rs Merge #4175 2020-05-09 09:29:11 +00:00
traits.rs Update Chalk, and cache Chalk env elaboration through a query 2020-04-20 19:16:01 +02:00
utils.rs For associated type shorthand (T::Item), use the substs from the where clause 2020-04-26 16:58:08 +02:00