Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+31 | |
* | Fix typo | uHOOCCOOHu | 2019-09-11 | 1 | -1/+1 | |
* | Merge #1795 | bors[bot] | 2019-09-09 | 1 | -0/+58 | |
|\ | ||||||
| * | Make macro scope a real name scope | uHOOCCOOHu | 2019-09-09 | 1 | -0/+58 | |
* | | modify tests | Niko Matsakis | 2019-09-09 | 1 | -6/+6 | |
|/ | ||||||
* | Rename `textual_macro` -> `legacy_macro` | uHOOCCOOHu | 2019-09-08 | 1 | -1/+1 | |
* | Resolve textual scoped macros inside item | uHOOCCOOHu | 2019-09-08 | 1 | -0/+35 | |
* | Fix crash for super trait cycles | Florian Diebold | 2019-09-07 | 1 | -0/+21 | |
* | Fix Chalk environments | Florian Diebold | 2019-09-07 | 1 | -2/+2 | |
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 1 | -11/+10 | |
* | Lower `Fn(X, Y) -> Z` paths | Florian Diebold | 2019-09-07 | 1 | -8/+8 | |
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 1 | -5/+5 | |
* | Add some more tests | Florian Diebold | 2019-09-07 | 1 | -0/+205 | |
* | 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 | 1 | -18/+44 | |
* | 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 | |
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 | |
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 1 | -1167/+1265 | |
* | 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 | 1 | -10/+12 | |
* | An attempt to add the coercion logic for Never | Kirill Bulatov | 2019-08-26 | 1 | -0/+58 | |
* | Properly coerce never types | Kirill Bulatov | 2019-08-26 | 1 | -7/+0 | |
* | Remove extra inference test | Kirill Bulatov | 2019-08-26 | 1 | -24/+0 | |
* | Fix never in if expressions | Kirill Bulatov | 2019-08-26 | 1 | -1/+41 | |
* | Add test marks | Kirill Bulatov | 2019-08-26 | 1 | -1/+6 | |
* | Fix match type inference for Never match arms | Kirill Bulatov | 2019-08-26 | 1 | -1/+1 | |
* | Tests | Kirill Bulatov | 2019-08-26 | 1 | -0/+104 | |
* | 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 | 1 | -30/+52 | |
* | Add `impl Trait` and `dyn Trait` types | Florian Diebold | 2019-08-22 | 1 | -0/+120 | |
* | 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 | 1 | -0/+14 | |
* | Handle placeholder assoc types when Chalk produces them | Florian Diebold | 2019-08-12 | 1 | -0/+49 | |
* | Normalize assoc types in more places | Florian Diebold | 2019-08-12 | 1 | -6/+6 | |
* | Lower fully qualified associated type paths | Florian Diebold | 2019-08-12 | 1 | -7/+7 | |
* | 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 | |
* | Move assist test, add literal type inference test | Phil Ellison | 2019-07-29 | 1 | -11/+15 | |
* | streamline API | Aleksey Kladov | 2019-07-21 | 1 | -4/+2 | |
* | Merge #1562 | bors[bot] | 2019-07-20 | 1 | -0/+35 | |
|\ | ||||||
| * | infer type for await | Unreal Hoang | 2019-07-20 | 1 | -0/+35 | |
* | | rename range -> text_range | Aleksey Kladov | 2019-07-20 | 1 | -1/+1 | |
|/ | ||||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -5/+5 | |
* | Merge #1515 | bors[bot] | 2019-07-09 | 1 | -0/+79 | |
|\ | ||||||
| * | Use environment for associated type normalization as well | Florian Diebold | 2019-07-08 | 1 | -0/+19 | |
| * | Start handling environment in trait resolution | Florian Diebold | 2019-07-08 | 1 | -0/+60 | |
* | | beautify tests | Unreal Hoang | 2019-07-09 | 1 | -20/+36 | |
* | | projection over std::ops::Try::Ok to infer try/? | Unreal Hoang | 2019-07-08 | 1 | -0/+37 | |
|/ | ||||||
* | add projection to infer for loop variable | Unreal Hoang | 2019-07-07 | 1 | -0/+36 |