Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Decouple Resolver | Aleksey Kladov | 2019-11-21 | 1 | -11/+12 |
* | Add HasResolver trait | Aleksey Kladov | 2019-11-20 | 1 | -1/+1 |
* | Remove hir/adt.rs | Aleksey Kladov | 2019-11-20 | 1 | -2/+1 |
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -2/+3 |
* | Reduce duplication between uncertain floats & ints | Aleksey Kladov | 2019-11-13 | 1 | -17/+11 |
* | Remove owner from Body | Aleksey Kladov | 2019-11-12 | 1 | -5/+6 |
* | Move diagnostics to hir_expand | Aleksey Kladov | 2019-11-02 | 1 | -8/+4 |
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
* | remove forward pointer for type_ref | Aleksey Kladov | 2019-10-30 | 1 | -2/+5 |
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 1 | -2/+1 |
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
* | Bump deps | Laurențiu Nicola | 2019-10-17 | 1 | -3/+7 |
* | Split up infer.rs further | Florian Diebold | 2019-10-12 | 1 | -1135/+18 |
* | Address comments: fix docs, add completion test for `Self`. | ice1000 | 2019-10-08 | 1 | -3/+1 |
* | Support inferring `Self` type in enum definitions | ice1000 | 2019-10-08 | 1 | -0/+3 |
* | Handle divergence in type inference for blocks | Laurențiu Nicola | 2019-10-02 | 1 | -2/+10 |
* | Merge #1815 | bors[bot] | 2019-09-27 | 1 | -5/+4 |
|\ | |||||
| * | Refactor `Name` ready for hygienic macro | uHOOCCOOHu | 2019-09-26 | 1 | -5/+4 |
* | | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 1 | -8/+7 |
|/ | |||||
* | Support all coercion places | uHOOCCOOHu | 2019-09-25 | 1 | -25/+57 |
* | Support custom `CoerceUnsized` | uHOOCCOOHu | 2019-09-25 | 1 | -26/+181 |
* | Better handle never type and branch merging | uHOOCCOOHu | 2019-09-25 | 1 | -60/+92 |
* | Support basic implicit type coerce | uHOOCCOOHu | 2019-09-25 | 1 | -86/+168 |
* | Support auto-deref in argument position | uHOOCCOOHu | 2019-09-25 | 1 | -1/+43 |
* | Remove redundant clone() | Shotaro Yamada | 2019-09-25 | 1 | -2/+2 |
* | Implement the call argument checking order hack for closures | Florian Diebold | 2019-09-24 | 1 | -10/+26 |
* | Make the closure_1 test work | Florian Diebold | 2019-09-24 | 1 | -0/+5 |
* | Give closures types | Florian Diebold | 2019-09-24 | 1 | -4/+18 |
* | Split off path expression inference code into submodule | Florian Diebold | 2019-09-23 | 1 | -172/+4 |
* | Remove TraitItem and ImplItem in favor of AssocItem | Florian Diebold | 2019-09-17 | 1 | -14/+12 |
* | Refactor some more | Florian Diebold | 2019-09-17 | 1 | -39/+61 |
* | Refactor associated item resolution more | Florian Diebold | 2019-09-17 | 1 | -71/+54 |
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -30/+27 |
* | Merge #1817 | bors[bot] | 2019-09-16 | 1 | -75/+52 |
|\ | |||||
| * | Define known paths and group names | uHOOCCOOHu | 2019-09-15 | 1 | -25/+12 |
| * | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -65/+55 |
* | | Gracefully handle `const _` items in `ConstData` | Dylan MacKenzie | 2019-09-16 | 1 | -1/+1 |
|/ | |||||
* | Upgrade Chalk | Florian Diebold | 2019-09-14 | 1 | -4/+0 |
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 1 | -133/+123 |
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 1 | -7/+7 |
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -3/+3 |
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 1 | -35/+11 |
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+26 |
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 1 | -3/+5 |
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 1 | -3/+3 |
* | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 1 | -1/+1 |
* | 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 |
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 1 | -2/+2 |