Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Make closures impl closure traits | Florian Diebold | 2019-09-24 | 3 | -38/+185 | |
* | Give closures types | Florian Diebold | 2019-09-24 | 3 | -20/+36 | |
* | Upgrade Chalk again | Florian Diebold | 2019-09-24 | 1 | -3/+6 | |
* | Upgrade Chalk | Florian Diebold | 2019-09-23 | 1 | -4/+6 | |
* | Split off path expression inference code into submodule | Florian Diebold | 2019-09-23 | 2 | -172/+199 | |
* | Handle projection types from Chalk | Florian Diebold | 2019-09-22 | 1 | -1/+5 | |
* | Handle associated type shorthand (`T::Item`) | Florian Diebold | 2019-09-22 | 2 | -17/+144 | |
* | account for impls generated by macros | Aleksey Kladov | 2019-09-18 | 1 | -0/+17 | |
* | Remove assoc type selection code for now to fix crashes | Florian Diebold | 2019-09-17 | 2 | -25/+10 | |
* | Add test for `T::Item` cycles | Florian Diebold | 2019-09-17 | 1 | -0/+42 | |
* | Remove TraitItem and ImplItem in favor of AssocItem | Florian Diebold | 2019-09-17 | 3 | -23/+20 | |
* | Small review improvements | Florian Diebold | 2019-09-17 | 1 | -5/+3 | |
* | Add test for `<T>::Item` | Florian Diebold | 2019-09-17 | 1 | -10/+22 | |
* | 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 |