Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fix a common false-positive type mismatch | Florian Diebold | 2020-02-29 | 3 | -9/+71 | |
* | Basic injections | Aleksey Kladov | 2020-02-27 | 1 | -2/+2 | |
* | Bump chalk and replace TypeFamily with Interner | Laurențiu Nicola | 2020-02-24 | 3 | -59/+68 | |
* | 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 | |
|/ | ||||||
* | Update versions | Kirill Bulatov | 2020-02-18 | 1 | -4/+4 | |
* | 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 |