Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 6 | -19/+9 | |
* | Properly format `impl Trait<Type = Foo>` types | Florian Diebold | 2019-09-03 | 1 | -4/+4 | |
* | Add support for associated type bindings (`where Trait<Type = X>`) | Florian Diebold | 2019-09-03 | 4 | -46/+135 | |
* | 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 | 1 | -8/+25 | |
* | 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 | 1 | -2/+2 | |
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 | |
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 1 | -2/+2 | |
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 1 | -1167/+1265 | |
* | Small fixes | Kirill Bulatov | 2019-08-26 | 1 | -12/+9 | |
* | Remove redundant tests | Kirill Bulatov | 2019-08-26 | 1 | -63/+5 | |
* | 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 | 2 | -51/+46 | |
* | Remove extra inference test | Kirill Bulatov | 2019-08-26 | 2 | -25/+0 | |
* | Fix never in if expressions | Kirill Bulatov | 2019-08-26 | 2 | -4/+51 | |
* | Add test marks | Kirill Bulatov | 2019-08-26 | 2 | -1/+11 | |
* | 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 | |
* | Add type_mismatches to InferenceResult and use this in ok-wrapping code fix | Phil Ellison | 2019-08-25 | 1 | -1/+18 | |
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 1 | -6/+6 | |
* | Improve/fix type bound lowering | Florian Diebold | 2019-08-22 | 1 | -0/+33 | |
* | Handle impl/dyn Trait in method resolution | Florian Diebold | 2019-08-22 | 2 | -32/+66 | |
* | Add `impl Trait` and `dyn Trait` types | Florian Diebold | 2019-08-22 | 3 | -12/+177 | |
* | Don't add `?` bounds as real bounds | Aleksey Kladov | 2019-08-22 | 1 | -0/+29 | |
* | implement initial type inference for index expressions | Aleksey Kladov | 2019-08-17 | 2 | -0/+20 | |
* | normalize ordering ops | Aleksey Kladov | 2019-08-17 | 1 | -16/+16 | |
* | Introduce separate hir::BinaryOp | Aleksey Kladov | 2019-08-17 | 2 | -67/+21 | |
* | Merge #1691 | bors[bot] | 2019-08-16 | 1 | -0/+9 | |
|\ | ||||||
| * | show inherent and trait impls of structs and enums | Ekaterina Babshukova | 2019-08-16 | 1 | -0/+9 | |
* | | implement durability | Aleksey Kladov | 2019-08-15 | 1 | -1/+1 | |
* | | switch from volatile to untracked read | Aleksey Kladov | 2019-08-15 | 1 | -17/+37 | |
|/ | ||||||
* | Handle placeholder assoc types when Chalk produces them | Florian Diebold | 2019-08-12 | 2 | -3/+67 | |
* | Normalize assoc types in more places | Florian Diebold | 2019-08-12 | 2 | -12/+27 | |
* | Improve debug logging a bit | Florian Diebold | 2019-08-12 | 1 | -4/+4 | |
* | Normalize associated types during inference | Florian Diebold | 2019-08-12 | 3 | -9/+25 | |
* | Lower fully qualified associated type paths | Florian Diebold | 2019-08-12 | 2 | -22/+80 | |
* | Add representations of associated types | Florian Diebold | 2019-08-12 | 1 | -0/+23 | |
* | Add another test for assoc type resolution | Florian Diebold | 2019-08-12 | 1 | -6/+46 | |
* | implement while let desugaring | Aleksey Kladov | 2019-08-07 | 1 | -0/+20 | |
* | do fixup: remove unused import | Evgenii P | 2019-08-02 | 1 | -1/+1 | |
* | Relax trait solving more for completion | Evgenii P | 2019-08-02 | 1 | -7/+1 | |
* | rustfmt | Evgenii P | 2019-08-02 | 1 | -3/+9 | |
* | Implement completion for the .await syntax | Evgenii P | 2019-08-02 | 1 | -1/+15 | |
* | Move assist test, add literal type inference test | Phil Ellison | 2019-07-29 | 1 | -11/+15 | |
* | Merge #1570 | bors[bot] | 2019-07-21 | 1 | -4/+2 | |
|\ | ||||||
| * | streamline API | Aleksey Kladov | 2019-07-21 | 1 | -4/+2 | |
* | | provide completion in struct patterns | Ekaterina Babshukova | 2019-07-21 | 1 | -7/+15 | |
|/ |