| Commit message (Expand) | Author | Age | Files | Lines |
* | Basic injections | Aleksey Kladov | 2020-02-27 | 1 | -2/+2 |
* | Bump chalk and replace TypeFamily with Interner | Laurențiu Nicola | 2020-02-24 | 2 | -56/+65 |
* | Shorten some code | Florian Diebold | 2020-02-22 | 1 | -4/+1 |
* | Rework find_super_trait_path to protect against cycles | Florian Diebold | 2020-02-22 | 5 | -23/+74 |
* | Fix shift_bound_vars | Florian Diebold | 2020-02-22 | 1 | -3/+3 |
* | Fix wrong handling of bare `dyn Trait` exposed by canonicalizer fix | Florian Diebold | 2020-02-22 | 1 | -1/+3 |
* | Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn Trait | Florian Diebold | 2020-02-22 | 4 | -44/+132 |
* | Fix handling of binders in canonicalization | Florian Diebold | 2020-02-22 | 1 | -64/+35 |
* | Implement dyn Trait unsizing as well | Florian Diebold | 2020-02-22 | 5 | -9/+136 |
* | Implement unsize coercion using proper trait solving | Florian Diebold | 2020-02-22 | 5 | -187/+170 |
* | Fix handling of const patterns | Florian Diebold | 2020-02-21 | 2 | -2/+48 |
* | Normalize associated types in types coming from Chalk | Florian Diebold | 2020-02-21 | 2 | -1/+46 |
* | Merge #3215 | bors[bot] | 2020-02-19 | 2 | -6/+34 |
|\ |
|
| * | Exclude methods from non-parameter types introduced by generic constraints | Laurențiu Nicola | 2020-02-19 | 2 | -6/+34 |
* | | Fill missing fields of enum variants | Aleksey Kladov | 2020-02-19 | 1 | -7/+11 |
|/ |
|
* | More manual clippy fixes | Kirill Bulatov | 2020-02-18 | 12 | -54/+38 |
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 10 | -76/+66 |
* | Merge #3169 | bors[bot] | 2020-02-17 | 1 | -4/+5 |
|\ |
|
| * | use 'if let' instead of match on kind in lower.rs | adamrk | 2020-02-17 | 1 | -6/+4 |
| * | replace uses of VariantData::is_unit with VariantData::kind | adamrk | 2020-02-16 | 1 | -4/+7 |
* | | Fix coercion of &T to itself | Florian Diebold | 2020-02-16 | 2 | -0/+24 |
* | | Extend analysis-stats a bit | Florian Diebold | 2020-02-15 | 1 | -0/+3 |
|/ |
|
* | Merge #3147 | bors[bot] | 2020-02-14 | 3 | -0/+42 |
|\ |
|
| * | Check that impl self type matches up with expected self type in path mode | Florian Diebold | 2020-02-14 | 3 | -0/+42 |
* | | Make Self implement the trait inside trait default methods | Florian Diebold | 2020-02-14 | 3 | -4/+77 |
|/ |
|
* | Move hir_fmt code to display module | Florian Diebold | 2020-02-14 | 2 | -372/+376 |
* | Rename Ty::Param => Ty::Placeholder | Florian Diebold | 2020-02-14 | 3 | -11/+11 |
* | Don't let unknown match arms fall back to ! | Florian Diebold | 2020-02-11 | 2 | -1/+22 |
* | Add or- and parenthesized-patterns | Matthew Jasper | 2020-02-09 | 2 | -3/+13 |
* | Add two more tests | Florian Diebold | 2020-02-07 | 1 | -0/+51 |
* | Fix some TODOs | Florian Diebold | 2020-02-07 | 3 | -11/+17 |
* | Don't print implicit type args from impl Trait | Florian Diebold | 2020-02-07 | 2 | -14/+21 |
* | Deal better with implicit type parameters and argument lists | Florian Diebold | 2020-02-07 | 4 | -26/+138 |
* | Formatting | Florian Diebold | 2020-02-07 | 9 | -38/+82 |
* | Clean up RPIT a bit | Florian Diebold | 2020-02-07 | 4 | -41/+13 |
* | Fix compilation of other crates | Florian Diebold | 2020-02-07 | 2 | -4/+10 |
* | Use variables in predicates as well | Florian Diebold | 2020-02-07 | 5 | -63/+52 |
* | Comment fixes / todos | Florian Diebold | 2020-02-07 | 3 | -6/+8 |
* | Fix APIT some more | Florian Diebold | 2020-02-07 | 4 | -101/+115 |
* | Fix APIT | Florian Diebold | 2020-02-07 | 1 | -0/+2 |
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 11 | -127/+136 |
* | WIP use params for APIT | Florian Diebold | 2020-02-07 | 3 | -1/+64 |
* | Fix assoc type selection | Florian Diebold | 2020-02-07 | 2 | -32/+43 |
* | Fix another test | Florian Diebold | 2020-02-07 | 2 | -7/+3 |
* | First stab at desugaring bounds for APIT | Florian Diebold | 2020-02-07 | 2 | -6/+33 |
* | Fix crash | Florian Diebold | 2020-02-07 | 1 | -4/+7 |
* | Fix enum constructors | Florian Diebold | 2020-02-07 | 3 | -11/+9 |
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 7 | -72/+73 |
* | Lower impl trait to variables, move away from using placeholders where they d... | Florian Diebold | 2020-02-07 | 9 | -188/+220 |
* | wip lower impl trait to type args | Florian Diebold | 2020-02-07 | 4 | -4/+6 |