Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Render where clauses and more generic params | Jonas Schievink | 2021-05-23 | 2 | -34/+155 |
* | Pretty-print generic parameters | Jonas Schievink | 2021-05-23 | 2 | -22/+99 |
* | ItemTree: pretty-print all paths | Jonas Schievink | 2021-05-22 | 2 | -9/+119 |
* | Add last remaining module docstring | Florian Diebold | 2021-05-22 | 1 | -1/+3 |
* | Merge #8923 | bors[bot] | 2021-05-22 | 21 | -34/+11 |
|\ | |||||
| * | Add even more docs | Aleksey Kladov | 2021-05-22 | 21 | -34/+11 |
* | | Merge #8922 | bors[bot] | 2021-05-22 | 19 | -28/+71 |
|\| | |||||
| * | Add more docs | Aleksey Kladov | 2021-05-22 | 19 | -28/+71 |
* | | Merge #8868 | bors[bot] | 2021-05-22 | 8 | -282/+192 |
|\| | |||||
| * | use more precise name | Aleksey Kladov | 2021-05-22 | 3 | -12/+7 |
| * | internal: replace AstTransformer with mutable syntax trees | Aleksey Kladov | 2021-05-22 | 6 | -208/+123 |
* | | Merge #8921 | bors[bot] | 2021-05-22 | 1 | -1/+13 |
|\ \ | |||||
| * | | Resolve any lifetime variables to 'static after inference | Florian Diebold | 2021-05-22 | 1 | -1/+13 |
| |/ | |||||
* | | Merge #8901 | bors[bot] | 2021-05-22 | 2 | -27/+75 |
|\ \ | |/ |/| | |||||
| * | Test `fill_match_arms` for lazy computation. | Dawer | 2021-05-21 | 2 | -3/+38 |
| * | fix: `fill_match_arms` hangs on a tuple of large enums | Dawer | 2021-05-20 | 1 | -2/+14 |
| * | Compute missing arms lazily. | Dawer | 2021-05-20 | 1 | -23/+24 |
* | | Work around non-unique AttrIds | Jonas Schievink | 2021-05-22 | 2 | -9/+39 |
* | | Add a "Debug ItemTree" LSP request | Jonas Schievink | 2021-05-21 | 5 | -0/+46 |
* | | Add an ItemTree pretty-printer | Jonas Schievink | 2021-05-21 | 3 | -0/+780 |
* | | impl Display for AttrInput/ImportAlias | Jonas Schievink | 2021-05-21 | 2 | -1/+19 |
* | | Remove `StructDefKind` | Jonas Schievink | 2021-05-21 | 3 | -20/+4 |
* | | Merge #8856 | bors[bot] | 2021-05-21 | 23 | -1077/+1206 |
|\ \ | |||||
| * | | Clean up visibilities | Florian Diebold | 2021-05-21 | 1 | -10/+10 |
| * | | Some remaining cleanups | Florian Diebold | 2021-05-21 | 3 | -18/+13 |
| * | | Fix test after rebase | Florian Diebold | 2021-05-21 | 1 | -1/+1 |
| * | | Record type mismatches for failed coercions in match etc. | Florian Diebold | 2021-05-21 | 2 | -15/+21 |
| * | | Refactor expectation handling | Florian Diebold | 2021-05-21 | 3 | -54/+88 |
| * | | Remove TypeVariableTable | Florian Diebold | 2021-05-21 | 2 | -56/+48 |
| * | | Deal with goals arising from unification | Florian Diebold | 2021-05-21 | 4 | -18/+21 |
| * | | Get rid of resolve_ty_as_possible | Florian Diebold | 2021-05-21 | 8 | -88/+56 |
| * | | Make resolve_ty_shallow return Ty | Florian Diebold | 2021-05-21 | 3 | -14/+7 |
| * | | Rework obligation handling | Florian Diebold | 2021-05-21 | 11 | -143/+240 |
| * | | Fix another panic | Florian Diebold | 2021-05-21 | 1 | -17/+15 |
| * | | Improve debug printing without TLS | Florian Diebold | 2021-05-21 | 2 | -158/+21 |
| * | | Fix panic | Florian Diebold | 2021-05-21 | 1 | -1/+4 |
| * | | Fix HIR expecting errors to unify with anything | Florian Diebold | 2021-05-21 | 3 | -8/+65 |
| * | | Fix compilation of hir and ide crates | Florian Diebold | 2021-05-21 | 2 | -3/+3 |
| * | | Fix if/else coercion | Florian Diebold | 2021-05-21 | 1 | -1/+4 |
| * | | Make diverging type variables work again | Florian Diebold | 2021-05-21 | 2 | -0/+23 |
| * | | Fix handling of diverging branches in match coercion | Florian Diebold | 2021-05-21 | 2 | -4/+52 |
| * | | Fix coercion of two closures to a function pointer | Florian Diebold | 2021-05-21 | 4 | -56/+48 |
| * | | Update tests with expected changes | Florian Diebold | 2021-05-21 | 2 | -40/+34 |
| * | | Make type resolver a proper folder, make it resolve consts as well | Florian Diebold | 2021-05-21 | 1 | -48/+117 |
| * | | Fix fallback to bound vars in `unify` | Florian Diebold | 2021-05-21 | 1 | -45/+78 |
| * | | Better Debug impl for InternedWrapper | Florian Diebold | 2021-05-21 | 1 | -1/+7 |
| * | | Temporary fix for unknown expectations | Florian Diebold | 2021-05-21 | 2 | -0/+8 |
| * | | Fix warnings & format | Florian Diebold | 2021-05-21 | 3 | -20/+11 |
| * | | Rewrite coercion using the new unification | Florian Diebold | 2021-05-21 | 6 | -105/+371 |
| * | | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 8 | -438/+125 |