aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/pat.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix string literal inference in matchLaurențiu Nicola2020-06-241-13/+20
|
* Switch to new magic marksAleksey Kladov2020-05-201-2/+2
|
* Rename StructField -> FieldAleksey Kladov2020-04-251-2/+2
|
* Fix goto definition for record patternsAleksey Kladov2020-04-181-0/+6
|
* handle tuple patterns with ellipsisJosh Mcguigan2020-04-131-3/+3
|
* 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