| Commit message (Expand) | Author | Age | Files | Lines |
* | Upgrade Chalk | Florian Diebold | 2020-07-12 | 1 | -2/+3 |
* | Enable Chalk tracing in hir_ty tests | Florian Diebold | 2020-07-12 | 5 | -66/+56 |
* | Upgrade Chalk | Florian Diebold | 2020-07-12 | 5 | -13/+63 |
* | infer: Add type inference support for Union types | Otavio Salvador | 2020-07-11 | 2 | -2/+32 |
* | arg count mismatch: handle tuple ctors | Jonas Schievink | 2020-07-09 | 1 | -17/+34 |
* | Address review comments | Jonas Schievink | 2020-07-09 | 2 | -40/+28 |
* | Add tests | Jonas Schievink | 2020-07-09 | 1 | -0/+129 |
* | Fix diagnostic for method calls | Jonas Schievink | 2020-07-09 | 1 | -3/+12 |
* | Correctly pluralize message | Jonas Schievink | 2020-07-09 | 1 | -1/+2 |
* | Don't emit diagnostic if there are type errors | Jonas Schievink | 2020-07-09 | 1 | -0/+7 |
* | Add argument count mismatch diagnostic | Jonas Schievink | 2020-07-09 | 2 | -5/+92 |
*-. | Merge #5235 #5236 #5241 | bors[bot] | 2020-07-07 | 4 | -9/+6 |
|\ \ |
|
| | * | Clippy perf warnings | kjeremy | 2020-07-06 | 4 | -9/+6 |
| |/ |
|
* / | Switch to fully dynamically dispatched salsa | Aleksey Kladov | 2020-07-07 | 5 | -22/+18 |
|/ |
|
* | Fix inference of indexing argument (partly) | Florian Diebold | 2020-07-03 | 2 | -8/+48 |
* | Merge #5149 | bors[bot] | 2020-07-01 | 7 | -66/+135 |
|\ |
|
| * | Implement Chalk variable kinds | Florian Diebold | 2020-07-01 | 7 | -66/+135 |
* | | ItemTree: Lower fields despite invalid type | Jonas Schievink | 2020-07-01 | 1 | -0/+24 |
* | | Split `CrateImplDefs` in inherent and trait impls | Jonas Schievink | 2020-07-01 | 3 | -105/+110 |
* | | Don't recursively call `impls_from_deps` | Jonas Schievink | 2020-07-01 | 1 | -11/+2 |
* | | Use dynamic dispatch in AstDiagnostic | Laurențiu Nicola | 2020-07-01 | 1 | -5/+5 |
|/ |
|
* | Better factoring | Aleksey Kladov | 2020-06-30 | 2 | -9/+18 |
* | Update the rest of the tests | Aleksey Kladov | 2020-06-29 | 7 | -438/+297 |
* | (T): make typification tests more data driven | Aleksey Kladov | 2020-06-29 | 4 | -133/+103 |
* | Merge #5124 | bors[bot] | 2020-06-29 | 4 | -18/+92 |
|\ |
|
| * | (Partially) fix handling of type params depending on type params | Florian Diebold | 2020-06-29 | 4 | -18/+92 |
* | | Merge #5105 | bors[bot] | 2020-06-28 | 2 | -13/+3 |
|\ \ |
|
| * | | Simlify with matches!() | Veetaha | 2020-06-28 | 2 | -13/+3 |
| |/ |
|
* / | Update Chalk to released version | Florian Diebold | 2020-06-28 | 1 | -2/+2 |
|/ |
|
* | Simplify unsafe expr collection match | Paul Daniel Faria | 2020-06-27 | 1 | -4/+3 |
* | Improve perf of finding unsafe exprs | Paul Daniel Faria | 2020-06-27 | 1 | -49/+39 |
* | Remove unneeded code, filename from tests, fix rebasing issues | Paul Daniel Faria | 2020-06-27 | 2 | -17/+5 |
* | Remove track_parent and parent_map, replace with simple walk in missign unsaf... | Paul Daniel Faria | 2020-06-27 | 1 | -19/+23 |
* | unsafe: Clean up, improve tracking, add debug_assert | Paul Daniel Faria | 2020-06-27 | 2 | -72/+74 |
* | Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation t... | Paul Daniel Faria | 2020-06-27 | 4 | -48/+69 |
* | Track expr parents during lowering, use parent map when checking if unsafe ex... | Paul Daniel Faria | 2020-06-27 | 2 | -12/+12 |
* | Address review comments, have MissingUnsafe diagnostic point to each unsafe u... | Paul Daniel Faria | 2020-06-27 | 3 | -25/+19 |
* | Rename Expr::UnsafeBlock to Expr::Unsafe | Paul Daniel Faria | 2020-06-27 | 2 | -2/+2 |
* | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr... | Paul Daniel Faria | 2020-06-27 | 4 | -16/+72 |
* | Add missing self param to test | Paul Daniel Faria | 2020-06-27 | 1 | -1/+1 |
* | Remove UnnecessaryUnsafe diagnostic, Fix Expr::Call unsafe analysis | Paul Daniel Faria | 2020-06-27 | 3 | -69/+21 |
* | Add tests covering unsafe blocks, more attempts to get call expr tests passing | Paul Daniel Faria | 2020-06-27 | 2 | -1/+86 |
* | Move diagnostics back into expr, add tests for diagnostics, fix logic to acco... | Paul Daniel Faria | 2020-06-27 | 4 | -20/+154 |
* | Add unsafe diagnostics and unsafe highlighting | Paul Daniel Faria | 2020-06-27 | 2 | -1/+81 |
* | Merge #4982 | bors[bot] | 2020-06-27 | 6 | -41/+109 |
|\ |
|
| * | Bump chalk | Laurențiu Nicola | 2020-06-26 | 6 | -41/+109 |
* | | Merge #5033 | bors[bot] | 2020-06-27 | 1 | -0/+46 |
|\ \ |
|
| * | | Split glob import map to per-ns, switch ExprCollector to use a simpler push_res | Paul Daniel Faria | 2020-06-26 | 1 | -0/+46 |
* | | | Address review comments | Jonas Schievink | 2020-06-26 | 1 | -1/+2 |
| |/
|/| |
|
* | | Infer type for slice wildcard patterns | adamrk | 2020-06-25 | 3 | -2/+34 |
|/ |
|