aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Collapse)AuthorAgeFilesLines
* Implement BindingMode for pattern matching.Michael Killough2019-03-161-17/+78
| | | | | | | Implement `BindingMode` for pattern matching, so that types can be correctly inferred using match ergonomics. The binding mode defaults to `Move` (referred to as 'BindingMode::BindByValue` in rustc), and is updated by automatic dereferencing of the value being matched.
* Use impl_froms!kjeremy2019-03-041-13/+3
|
* Make ExpOrPatId privatekjeremy2019-03-041-3/+6
|
* Remove commented out codeJeremy Kolb2019-03-041-9/+0
|
* Use ImplItems instead of just FunctionJeremy Kolb2019-03-041-34/+48
|
* Make goto definition/hover resolve constructorskjeremy2019-03-041-3/+40
|
* Add static type inferenceVille Penttinen2019-02-251-1/+2
|
* Add const type inferenceVille Penttinen2019-02-251-7/+13
|
* Rename Type => TypeAliasFlorian Diebold2019-02-241-2/+2
|
* Implement support for type aliasesFlorian Diebold2019-02-241-1/+3
|
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-231-33/+53
|
* Split ty.rs into several modulesFlorian Diebold2019-02-231-0/+1079
It was just getting too big. We now have: - ty: the `Ty` enum and helpers - ty::infer: actual type inference - ty::lower: lowering from HIR to `Ty` - ty::op: helpers for binary operations, currently