Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 4 | -21/+44 | |
* | Lower `Fn(X, Y) -> Z` paths | Florian Diebold | 2019-09-07 | 2 | -12/+48 | |
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 9 | -38/+100 | |
* | Add some more tests | Florian Diebold | 2019-09-07 | 1 | -0/+205 | |
* | Merge #1779 | bors[bot] | 2019-09-06 | 2 | -49/+51 | |
|\ | ||||||
| * | minor | Aleksey Kladov | 2019-09-06 | 2 | -49/+51 | |
* | | make source_root API more abstract | Aleksey Kladov | 2019-09-06 | 2 | -7/+9 | |
|/ | ||||||
* | Merge #1771 | bors[bot] | 2019-09-05 | 3 | -18/+91 | |
|\ | ||||||
| * | Hoist macros from extern crate with macro_use | uHOOCCOOHu | 2019-09-05 | 2 | -14/+20 | |
| * | Consider prelude to be `macro_use` | uHOOCCOOHu | 2019-09-05 | 3 | -4/+71 | |
* | | rename test file to match impl file | Aleksey Kladov | 2019-09-05 | 2 | -1/+1 | |
* | | move mod resolution to a separate file | Aleksey Kladov | 2019-09-05 | 3 | -183/+190 | |
|/ | ||||||
* | Merge #1743 | bors[bot] | 2019-09-05 | 5 | -12/+117 | |
|\ | ||||||
| * | 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 | 2 | -2/+28 | |
* | | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 8 | -133/+132 | |
* | | Properly format `impl Trait<Type = Foo>` types | Florian Diebold | 2019-09-03 | 2 | -23/+97 | |
* | | 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 | 6 | -66/+119 | |
* | | 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 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 |