| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | | Simlify with matches!() | Veetaha | 2020-06-28 | 2 | -13/+3 |
|/ |
|
* | 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 | 5 | -39/+107 |
|\ |
|
| * | Bump chalk | Laurențiu Nicola | 2020-06-26 | 5 | -39/+107 |
* | | 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 |
|/ |
|
* | Make `iterate_method_candidates` non-generic | Jonas Schievink | 2020-06-24 | 1 | -56/+73 |
* | Remove file id from item tree | Jonas Schievink | 2020-06-24 | 1 | -3/+3 |
* | draw the rest of the owl | Jonas Schievink | 2020-06-24 | 1 | -5/+11 |
* | Fix string literal inference in match | Laurențiu Nicola | 2020-06-24 | 2 | -13/+77 |
* | Use only one code-path for parsing fixtures | Aleksey Kladov | 2020-06-23 | 8 | -2692/+2692 |
* | Remove RelativePathBuf from fixture | Aleksey Kladov | 2020-06-22 | 1 | -1/+1 |
* | Merge #4947 | bors[bot] | 2020-06-20 | 4 | -56/+87 |
|\ |
|
| * | Recursively compute impl sets | Jonas Schievink | 2020-06-19 | 1 | -13/+26 |
| * | Don't include downstream crate in query | Jonas Schievink | 2020-06-19 | 1 | -1/+2 |
| * | Replace `impls_in_trait` with `CrateImplDefs` | Jonas Schievink | 2020-06-19 | 4 | -57/+74 |
* | | Merge #4958 | bors[bot] | 2020-06-20 | 4 | -24/+312 |
|\ \ |
|
| * | | Push obligation instead of matching on solution | adamrk | 2020-06-20 | 2 | -45/+40 |
| * | | Get Output assoc type by name | adamrk | 2020-06-20 | 1 | -13/+3 |
| * | | Add test for dyn Fn Output | adamrk | 2020-06-20 | 1 | -0/+68 |
| * | | move tests to ra_hir_ty | adamrk | 2020-06-20 | 1 | -0/+155 |
| * | | Fixes to callable_sig_from_fn_trait | adamrk | 2020-06-20 | 1 | -65/+65 |
| * | | Make get_fn_trait a method of FnTrait | adamrk | 2020-06-20 | 3 | -21/+21 |
| * | | Switch back callable_sig for known fn types | adamrk | 2020-06-20 | 2 | -4/+4 |
| * | | Infer FnSig from Fn traits | adamrk | 2020-06-19 | 4 | -18/+98 |