Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Merge #1761 | bors[bot] | 2019-09-05 | 3 | -0/+167 | |
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | 1761: "move type bounds to where clause" assist r=matklad a=viorina Co-authored-by: Ekaterina Babshukova <[email protected]> | |||||
| * | | add assist to move type bounds to where clause | Ekaterina Babshukova | 2019-09-05 | 3 | -0/+167 | |
| |/ | ||||||
* | | Merge #1743 | bors[bot] | 2019-09-05 | 7 | -12/+119 | |
|\ \ | |/ |/| | | | | | | | | | | | 1743: Support `#[macro_use]` on `extern crate` r=matklad a=uHOOCCOOHu Unfortunately, #1688 is still an issue. My guess is wrong :( Co-authored-by: uHOOCCOOHu <[email protected]> | |||||
| * | Fix typo | uHOOCCOOHu | 2019-09-05 | 1 | -2/+2 | |
| | | ||||||
| * | Let `macro_use` bypass module scope | uHOOCCOOHu | 2019-09-05 | 2 | -35/+52 | |
| | | ||||||
| * | Fix import strategy of `macro_use` and its test | uHOOCCOOHu | 2019-09-02 | 4 | -9/+26 | |
| | | ||||||
| * | Add test | uHOOCCOOHu | 2019-08-31 | 1 | -5/+50 | |
| | | ||||||
| * | Support resolution of `#[macro_use] extern crate` | uHOOCCOOHu | 2019-08-31 | 4 | -2/+30 | |
| | | ||||||
* | | lsp-types 0.61.0 | kjeremy | 2019-09-03 | 2 | -1/+2 | |
| | | ||||||
* | | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 10 | -135/+134 | |
| | | | | | | | | | | If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet. | |||||
* | | Properly format `impl Trait<Type = Foo>` types | Florian Diebold | 2019-09-03 | 2 | -23/+97 | |
| | | | | | | | | | | | | It's a bit complicated because we basically have to 'undo' the desugaring, and the result is very dependent on the specifics of the desugaring and will probably produce weird results otherwise. | |||||
* | | Add support for associated type bindings (`where Trait<Type = X>`) | Florian Diebold | 2019-09-03 | 6 | -52/+183 | |
| | | ||||||
* | | Add test for assoc type bindings | Florian Diebold | 2019-09-03 | 1 | -0/+65 | |
| | | ||||||
* | | Correctly build BodySourceMap for macro-expanded expressions | Aleksey Kladov | 2019-09-03 | 8 | -70/+127 | |
| | | ||||||
* | | slightly simplify expr lowering flow | Aleksey Kladov | 2019-09-03 | 3 | -129/+136 | |
| | | ||||||
* | | clearer ignore | Aleksey Kladov | 2019-09-03 | 1 | -1/+1 | |
| | | ||||||
* | | remove needless refs | Aleksey Kladov | 2019-09-03 | 1 | -2/+2 | |
| | | ||||||
* | | use recrod terminology for hir::Pat | Aleksey Kladov | 2019-09-03 | 3 | -8/+7 | |
| | | ||||||
* | | move expr lowering to lower | Aleksey Kladov | 2019-09-03 | 3 | -653/+667 | |
| | | ||||||
* | | fix assists | Aleksey Kladov | 2019-09-02 | 5 | -61/+92 | |
| | | ||||||
* | | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 14 | -57/+72 | |
| | | ||||||
* | | fix generated AST | Aleksey Kladov | 2019-09-02 | 3 | -3/+4 | |
| | | ||||||
* | | update test data | Aleksey Kladov | 2019-09-02 | 150 | -8970/+9245 | |
| | | ||||||
* | | always wrap block into an expression | Aleksey Kladov | 2019-09-02 | 5 | -14/+19 | |
| | | ||||||
* | | Merge #1751 | bors[bot] | 2019-09-02 | 4 | -11/+8 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1751: remove useless trait r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | remove useless trait | Aleksey Kladov | 2019-09-02 | 4 | -11/+8 | |
| | | | ||||||
* | | | remove needless clone | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 | |
|/ / | ||||||
* | | simplify | Aleksey Kladov | 2019-09-02 | 6 | -214/+117 | |
| | | ||||||
* | | cleanup | Aleksey Kladov | 2019-09-02 | 5 | -90/+86 | |
| | | ||||||
* | | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 8 | -60/+107 | |
| | | | | | | | | ... and use that instead of exposing the source map. | |||||
* | | Report type mismatches in analysis-stats | Florian Diebold | 2019-09-02 | 3 | -8/+44 | |
| | | | | | | | | Only the number usually; each one individually when running with -v. | |||||
* | | :arrow_up: once_cell | Aleksey Kladov | 2019-09-01 | 3 | -3/+3 | |
|/ | ||||||
* | cleanup main loop | Aleksey Kladov | 2019-08-31 | 8 | -221/+172 | |
| | ||||||
* | inline thread-worker | Aleksey Kladov | 2019-08-30 | 5 | -16/+3 | |
| | ||||||
* | :arrow_up: lsp-server | Aleksey Kladov | 2019-08-30 | 4 | -82/+81 | |
| | ||||||
* | move lsp-server to a separate repository | Aleksey Kladov | 2019-08-30 | 13 | -693/+127 | |
| | ||||||
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 25 | -1327/+1425 | |
| | ||||||
* | Small fixes | Kirill Bulatov | 2019-08-26 | 2 | -13/+15 | |
| | ||||||
* | Remove redundant tests | Kirill Bulatov | 2019-08-26 | 1 | -63/+5 | |
| | ||||||
* | Fix 'missing Ok in tail expr' validation | Florian Diebold | 2019-08-26 | 1 | -3/+4 | |
| | | | | | Because of the coercion change, the type mismatch now only happens on the block expression. | |||||
* | Make infer_block not unify; add back calculate_least_upper_bound | Florian Diebold | 2019-08-26 | 2 | -30/+66 | |
| | ||||||
* | An attempt to add the coercion logic for Never | Kirill Bulatov | 2019-08-26 | 2 | -51/+98 | |
| | ||||||
* | Properly coerce never types | Kirill Bulatov | 2019-08-26 | 3 | -57/+46 | |
| | ||||||
* | Remove extra inference test | Kirill Bulatov | 2019-08-26 | 3 | -26/+0 | |
| | ||||||
* | Fix never in if expressions | Kirill Bulatov | 2019-08-26 | 3 | -4/+53 | |
| | ||||||
* | Add test marks | Kirill Bulatov | 2019-08-26 | 3 | -1/+16 | |
| | ||||||
* | Fix match type inference for Never match arms | Kirill Bulatov | 2019-08-26 | 2 | -6/+32 | |
| | ||||||
* | Tests | Kirill Bulatov | 2019-08-26 | 1 | -0/+104 | |
| | ||||||
* | Merge #1735 | bors[bot] | 2019-08-25 | 6 | -10/+19 | |
|\ | | | | | | | | | | | | | | | 1735: :arrow_up: vfs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | :arrow_up: vfs | Aleksey Kladov | 2019-08-25 | 6 | -10/+19 | |
| | |