aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Collapse)AuthorAgeFilesLines
...
| * Fix type walking about type of async blockoxalica2020-09-111-14/+9
| |
| * Fix and prettify commentsoxalica2020-09-111-4/+6
| |
| * Implement async blocksoxalica2020-09-107-53/+216
| |
* | Implement box pattern inferenceJonas Schievink2020-09-121-1/+13
| |
* | Add box pattern testJonas Schievink2020-09-121-0/+25
| |
* | Rename record_field_pat to record_pat_fieldPavan Kumar Sunkara2020-09-102-4/+4
| |
* | Merge #5968bors[bot]2020-09-093-14/+30
|\ \ | |/ |/| | | | | | | | | | | | | | | 5968: Lookup ADT and associated type names for chalk debugging / tweak chalk interner r=flodiebold a=nathanwhit This PR improves the chalk program writing integration by looking up the names for ADTs and associated types, making the output much more readable. There are also a few small changes to the interner, which gives some nice performance improvements. We clone `Ty`s and `ProgramClause`s relatively often in chalk, so wrapping them in `Arc`s is a perf win. This takes the time for performing type inference on the rust-analyzer codebase from 40s to 33s on my machine. Co-authored-by: Nathan Whitaker <[email protected]>
| * Tweak interner for chalkNathan Whitaker2020-09-091-9/+9
| |
| * Lookup ADT and assoc. type names for chalk debugNathan Whitaker2020-09-092-5/+21
| |
* | Chalk 0.25kjeremy2020-09-021-3/+3
|/ | | | Picks up flodiebold's infinite loop fix
* :arrow_up: expect-testAleksey Kladov2020-08-281-1/+1
|
* Add description for crates that will be publishedPavan Kumar Sunkara2020-08-241-0/+1
|
* Add version to deps in cargo.tomlPavan Kumar Sunkara2020-08-241-8/+8
|
* Switch to expect_test from crates.ioAleksey Kladov2020-08-2110-11/+10
|
* Add type safety to diagnostic codesAleksey Kladov2020-08-181-17/+17
|
* Speedup ty testsAleksey Kladov2020-08-181-6/+11
| | | | Closes #5792
* Merge #5682bors[bot]2020-08-181-0/+25
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 5682: Add an option to disable diagnostics r=matklad a=popzxc As far as I know, currently it's not possible to disable a selected type of diagnostics provided by `rust-analyzer`. This causes an inconvenient situation with a false-positive warnings: you either have to disable all the diagnostics, or you have to ignore these warnings. There are some open issues related to this problem, e.g.: https://github.com/rust-analyzer/rust-analyzer/issues/5412, https://github.com/rust-analyzer/rust-analyzer/issues/5502 This PR attempts to make it possible to selectively disable some diagnostics on per-project basis. Co-authored-by: Igor Aleksanov <[email protected]>
| * Merge branch 'master' into add-disable-diagnosticsIgor Aleksanov2020-08-141-0/+25
| |
* | Fix missing match arm false error on unknown typeCAD972020-08-172-4/+2
| |
* | Document missing match arm false positiveCAD972020-08-171-0/+19
| | | | | | | | | | | | This should already be guarded against (https://github.com/rust-analyzer/rust-analyzer/blob/d2212a49f6d447a14cdc87a9de2a4844e78b6905/crates/hir_ty/src/diagnostics/expr.rs#L225-L230) but it isn't preventing this false positive for some reason.
* | Chalk 0.23Jeremy Kolb2020-08-162-5/+5
| |
* | Only print chalk programs with CHALK_PRINTWilco Kusee2020-08-141-10/+15
| |
* | Lookup adt namesWilco Kusee2020-08-141-1/+2
| |
* | Only use logging db if CHALK_DEBUG is activeWilco Kusee2020-08-141-12/+15
| |
* | Print chalk programs in debug outputWilco Kusee2020-08-142-12/+19
|/
* display correctly 'impl Trait<T> + Trait<T>' #4814Benjamin Coenen2020-08-131-0/+1
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-1336-0/+22874