Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Make unify pub(crate) | Florian Diebold | 2019-12-03 | 1 | -1/+1 | |
* | | Add tests for checking the impl self type | Florian Diebold | 2019-12-02 | 1 | -0/+14 | |
* | | Refactor a bit | Florian Diebold | 2019-12-02 | 3 | -77/+74 | |
* | | Check receiver type properly | Florian Diebold | 2019-12-02 | 4 | -19/+80 | |
* | | Extract unification code to unify module | Florian Diebold | 2019-12-02 | 6 | -263/+312 | |
* | | Change order of calls to get method candidate order correct | Florian Diebold | 2019-12-02 | 2 | -39/+115 | |
|/ | ||||||
* | Merge #2455 | bors[bot] | 2019-12-01 | 1 | -0/+36 | |
|\ | ||||||
| * | Add BuiltinShadowMode | Edwin Cheng | 2019-11-30 | 1 | -0/+36 | |
* | | Add cycle recovery for type aliases | Florian Diebold | 2019-11-30 | 3 | -2/+10 | |
* | | Add cycle recovery for generic predicates | Florian Diebold | 2019-11-30 | 3 | -8/+10 | |
* | | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 8 | -53/+82 | |
* | | Reduce variants of Expr | oxalica | 2019-11-29 | 1 | -39/+37 | |
* | | Infer range types | oxalica | 2019-11-28 | 3 | -0/+127 | |
|/ | ||||||
* | Move source-related traits to a separate module | Aleksey Kladov | 2019-11-28 | 1 | -1/+1 | |
* | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 2 | -9/+9 | |
* | Use Name::missing consistently | Aleksey Kladov | 2019-11-27 | 1 | -18/+7 | |
* | Minimize API | Aleksey Kladov | 2019-11-27 | 1 | -8/+3 | |
* | Memoize impl resolutions | Aleksey Kladov | 2019-11-27 | 7 | -75/+76 | |
* | Rename module_id -> local_id | Aleksey Kladov | 2019-11-27 | 2 | -7/+7 | |
* | prune deps | Aleksey Kladov | 2019-11-27 | 1 | -5/+7 | |
* | Move Ty | Aleksey Kladov | 2019-11-27 | 23 | -2/+12282 | |
* | Doc primitives | Aleksey Kladov | 2019-11-26 | 2 | -2/+6 | |
* | Introduce hir_ty | Aleksey Kladov | 2019-11-26 | 2 | -0/+193 |