aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/pat.rs
Commit message (Collapse)AuthorAgeFilesLines
* add record pat missing field diagnosticJosh Mcguigan2020-04-101-1/+1
|
* missing match arms diagnosticJosh Mcguigan2020-04-071-1/+5
|
* Add inference for literal and range patternsFlorian Diebold2020-04-011-2/+9
|
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-4/+4
| | | | | | | It improves compile time in `--release` mode quite a bit, it doesn't really slow things down and, conceptually, it seems closer to what we want the physical architecture to look like (we don't want to monomorphise EVERYTHING in a single leaf crate).
* Reformat?Aleksey Kladov2020-03-021-6/+2
|
* handle array pattern matching type inferenceJosh Mcguigan2020-03-011-10/+14
|
* remove match statement, handle suffixJosh Mcguigan2020-03-011-12/+9
|
* handle arbitrary length slicesJosh Mcguigan2020-03-011-3/+5
|
* match single prefix sliceJosh Mcguigan2020-03-011-1/+15
|
* Fix handling of const patternsFlorian Diebold2020-02-211-1/+3
| | | | | | | | | E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618.
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-2/+2
|
* Add or- and parenthesized-patternsMatthew Jasper2020-02-091-0/+12
|
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-4/+3
|
* Extract unification code to unify moduleFlorian Diebold2019-12-021-2/+2
|
* Move TyAleksey Kladov2019-11-271-0/+186