Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Refactor some more | Florian Diebold | 2019-09-17 | 2 | -49/+85 | |
* | Refactor associated item resolution more | Florian Diebold | 2019-09-17 | 2 | -124/+120 | |
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -30/+27 | |
* | Resolve assoc types on type parameters | Florian Diebold | 2019-09-17 | 2 | -24/+61 | |
* | Adapt some tests | Florian Diebold | 2019-09-17 | 1 | -12/+12 | |
* | Merge #1817 | bors[bot] | 2019-09-16 | 3 | -76/+111 | |
|\ | ||||||
| * | Define known paths and group names | uHOOCCOOHu | 2019-09-15 | 2 | -26/+13 | |
| * | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 2 | -65/+113 | |
* | | Gracefully handle `const _` items in `ConstData` | Dylan MacKenzie | 2019-09-16 | 1 | -1/+1 | |
|/ | ||||||
* | Support bare `Trait` without dyn | Florian Diebold | 2019-09-14 | 2 | -12/+11 | |
* | Upgrade Chalk | Florian Diebold | 2019-09-14 | 2 | -13/+0 | |
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 2 | -188/+176 | |
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 2 | -20/+18 | |
* | generalize impl_froms to nested enums | Aleksey Kladov | 2019-09-12 | 1 | -19/+9 | |
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 2 | -32/+32 | |
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 2 | -36/+12 | |
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 2 | -0/+57 | |
* | Fix typo | uHOOCCOOHu | 2019-09-11 | 1 | -1/+1 | |
* | Merge #1795 | bors[bot] | 2019-09-09 | 1 | -0/+58 | |
|\ | ||||||
| * | Strip | uHOOCCOOHu | 2019-09-09 | 1 | -3/+0 | |
| * | Make macro scope a real name scope | uHOOCCOOHu | 2019-09-09 | 2 | -0/+61 | |
* | | modify tests | Niko Matsakis | 2019-09-09 | 1 | -6/+6 | |
* | | also make "unknown" case non-enumerable | Niko Matsakis | 2019-09-09 | 1 | -1/+1 | |
* | | make all traits non-enumerable | Niko Matsakis | 2019-09-09 | 1 | -9/+1 | |
|/ | ||||||
* | 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 | |
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 4 | -7/+11 | |
* | Fix crash for super trait cycles | Florian Diebold | 2019-09-07 | 1 | -0/+21 | |
* | Fix Chalk environments | Florian Diebold | 2019-09-07 | 2 | -3/+4 | |
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 3 | -12/+32 | |
* | 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 | 5 | -23/+26 | |
* | Add some more tests | Florian Diebold | 2019-09-07 | 1 | -0/+205 | |
* | 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 |