Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 hir for new block syntax | Aleksey Kladov | 2019-09-02 | 6 | -42/+50 |
* | remove useless trait | Aleksey Kladov | 2019-09-02 | 1 | -2/+2 |
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 6 | -30/+79 |
* | Report type mismatches in analysis-stats | Florian Diebold | 2019-09-02 | 2 | -7/+7 |
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 7 | -1221/+1319 |
* | 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 |
* | 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 #1734 | bors[bot] | 2019-08-25 | 4 | -4/+98 |
|\ | |||||
| * | Simplify checking return type, add new test | Phil Ellison | 2019-08-25 | 1 | -21/+4 |
| * | Fix build for Diagnostic type change | Phil Ellison | 2019-08-25 | 1 | -7/+4 |
| * | Cast SyntaxNodePtr to AstPtr directly | Phil Ellison | 2019-08-25 | 1 | -14/+3 |
| * | Remove reliance on expr ordering | Phil Ellison | 2019-08-25 | 1 | -10/+4 |
| * | cargo format | Phil Ellison | 2019-08-25 | 1 | -13/+12 |
| * | Check type rather than just name in ok-wrapping diagnostic. Add test for hand... | Phil Ellison | 2019-08-25 | 2 | -8/+40 |
| * | Mock std String and Result types in tests for ok-wrapping diagnostic | Phil Ellison | 2019-08-25 | 1 | -2/+0 |
| * | Add type_mismatches to InferenceResult and use this in ok-wrapping code fix | Phil Ellison | 2019-08-25 | 3 | -8/+27 |
| * | Initial implementation of Ok-wrapping | Phil Ellison | 2019-08-25 | 3 | -3/+86 |
* | | Convert `BoxPat` to `Missing` in HIR | Dylan MacKenzie | 2019-08-24 | 1 | -0/+1 |
|/ | |||||
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 6 | -45/+45 |
* | Improve/fix type bound lowering | Florian Diebold | 2019-08-22 | 2 | -4/+35 |
* | Handle impl/dyn Trait in method resolution | Florian Diebold | 2019-08-22 | 3 | -32/+79 |
* | Add `impl Trait` and `dyn Trait` types | Florian Diebold | 2019-08-22 | 6 | -41/+339 |
* | Don't add `?` bounds as real bounds | Aleksey Kladov | 2019-08-22 | 2 | -0/+37 |
* | remove ast::*Kind from hir | Aleksey Kladov | 2019-08-19 | 6 | -83/+86 |
* | implement initial type inference for index expressions | Aleksey Kladov | 2019-08-17 | 3 | -1/+33 |
* | normalize ordering ops | Aleksey Kladov | 2019-08-17 | 2 | -26/+36 |
* | Introduce separate hir::BinaryOp | Aleksey Kladov | 2019-08-17 | 3 | -69/+96 |
* | 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 | 2 | -1/+3 |
* | | switch from volatile to untracked read | Aleksey Kladov | 2019-08-15 | 2 | -22/+41 |
|/ | |||||
* | 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 | 2 | -4/+18 |
* | Normalize associated types during inference | Florian Diebold | 2019-08-12 | 3 | -9/+25 |
* | Lower fully qualified associated type paths | Florian Diebold | 2019-08-12 | 3 | -23/+117 |
* | Add representations of associated types | Florian Diebold | 2019-08-12 | 3 | -0/+113 |
* | Add another test for assoc type resolution | Florian Diebold | 2019-08-12 | 1 | -6/+46 |