Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Support for nested ADT | Aleksey Kladov | 2019-12-20 | 1 | -2/+2 | |
* | | Introduce `ContainerId` | Aleksey Kladov | 2019-12-20 | 3 | -3/+3 | |
* | | Rename ContainerId -> AssocContainerId | Aleksey Kladov | 2019-12-20 | 6 | -22/+22 | |
* | | Add body as a possible container for items | Aleksey Kladov | 2019-12-19 | 3 | -7/+7 | |
* | | Remove TruncateOptions struct | Kirill Bulatov | 2019-12-19 | 1 | -13/+10 | |
* | | Omit default parameter types | Kirill Bulatov | 2019-12-19 | 2 | -7/+47 | |
* | | Forbid <T>::foo syntax in mod paths | Aleksey Kladov | 2019-12-18 | 2 | -5/+5 | |
|/ | ||||||
* | Add test mark | Florian Diebold | 2019-12-15 | 3 | -2/+9 | |
* | Handle impl Trait more correctly | Florian Diebold | 2019-12-15 | 3 | -1/+56 | |
* | Add test for unifying impl Trait | Florian Diebold | 2019-12-15 | 1 | -1/+27 | |
* | Use different types for path with and without generics | Aleksey Kladov | 2019-12-14 | 4 | -51/+51 | |
* | Use path macro | Florian Diebold | 2019-12-13 | 2 | -15/+15 | |
* | Rename N! to name! | Florian Diebold | 2019-12-13 | 5 | -15/+15 | |
* | Add macros for known names and paths | Florian Diebold | 2019-12-13 | 5 | -17/+15 | |
* | Correctly infer - and ! using std::ops::{Neg,Not} | Emil Lauridsen | 2019-12-13 | 3 | -23/+104 | |
* | Add helper for resolving associated type of trait in infer | Emil Lauridsen | 2019-12-13 | 2 | -47/+25 | |
* | Move enum&union to new loc | Aleksey Kladov | 2019-12-12 | 1 | -4/+5 | |
* | Move structs to new loc | Aleksey Kladov | 2019-12-12 | 1 | -1/+1 | |
* | Move traits to the new loc | Aleksey Kladov | 2019-12-12 | 1 | -4/+2 | |
* | Switch to the new location for impls | Aleksey Kladov | 2019-12-12 | 2 | -4/+4 | |
* | Fix coercion from &Foo to an inference variable in a reference | Florian Diebold | 2019-12-08 | 2 | -1/+42 | |
* | Merge #2466 | bors[bot] | 2019-12-08 | 1 | -0/+29 | |
|\ | ||||||
| * | Add tests | Edwin Cheng | 2019-12-06 | 1 | -0/+29 | |
* | | Rename GenericParam -> TypeParam | Aleksey Kladov | 2019-12-07 | 1 | -14/+12 | |
* | | Reformat | Aleksey Kladov | 2019-12-07 | 1 | -2/+2 | |
* | | Refactor parameter count tracking | Aleksey Kladov | 2019-12-07 | 6 | -32/+30 | |
* | | Remove idx and parent generics from generics | Aleksey Kladov | 2019-12-07 | 6 | -60/+135 | |
* | | Store GenericParams in arena | Aleksey Kladov | 2019-12-07 | 1 | -1/+1 | |
* | | Merge #2484 | bors[bot] | 2019-12-06 | 1 | -3/+5 | |
|\ \ | |/ |/| | ||||||
| * | DynMap | Aleksey Kladov | 2019-12-06 | 1 | -3/+5 | |
* | | Don't unify within a reference | Florian Diebold | 2019-12-06 | 3 | -11/+72 | |
|/ | ||||||
* | Simplify test | Aleksey Kladov | 2019-12-05 | 1 | -13/+10 | |
* | Implement derive(Copy, Clone) properly (well, kind of) | Florian Diebold | 2019-12-05 | 1 | -0/+51 | |
* | Fix test compilation | ice1000 | 2019-12-04 | 1 | -1/+1 | |
* | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 7 | -4902/+4882 | |
* | Replace `ra_hir_expand::either` with crate | ice1000 | 2019-12-03 | 1 | -2/+2 | |
* | Fix #2467 | Florian Diebold | 2019-12-03 | 4 | -7/+65 | |
* | Merge #2465 | bors[bot] | 2019-12-03 | 3 | -127/+219 | |
|\ | ||||||
| * | Extract built-in trait implementations to separate module | Florian Diebold | 2019-12-03 | 3 | -127/+219 | |
* | | 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 |