Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Normalize waiting queries names | Aleksey Kladov | 2020-03-06 | 3 | -10/+10 | |
* | Don't reuse the Chalk solver | Florian Diebold | 2020-03-06 | 2 | -92/+28 | |
* | Resolve `Self::AssocTy` in impls | Florian Diebold | 2020-03-06 | 3 | -38/+93 | |
* | Allow specifying additional info on call to profile | Aleksey Kladov | 2020-03-06 | 2 | -2/+14 | |
* | Less confusing profile names | Aleksey Kladov | 2020-03-06 | 2 | -2/+2 | |
* | Merge #3494 | bors[bot] | 2020-03-06 | 1 | -0/+45 | |
|\ | ||||||
| * | Implment include macro | Edwin Cheng | 2020-03-06 | 1 | -0/+45 | |
* | | Support aliases and Self in struct literals | Florian Diebold | 2020-03-06 | 2 | -1/+68 | |
* | | Source map returns a result | Aleksey Kladov | 2020-03-06 | 2 | -8/+13 | |
|/ | ||||||
* | Fix panic on eager expansion | Edwin Cheng | 2020-03-03 | 1 | -0/+21 | |
* | Add test | Edwin Cheng | 2020-03-03 | 1 | -0/+19 | |
* | Drop larlpop-intern dep | Laurențiu Nicola | 2020-03-03 | 1 | -2/+2 | |
* | Update chalk for Ty interners | Laurențiu Nicola | 2020-03-02 | 1 | -8/+11 | |
* | Update chalk for RawId removal | Laurențiu Nicola | 2020-03-02 | 1 | -13/+7 | |
*-. | Merge #3397 #3398 | bors[bot] | 2020-03-02 | 1 | -6/+2 | |
|\ \ | ||||||
| | * | Reformat? | Aleksey Kladov | 2020-03-02 | 1 | -6/+2 | |
| |/ | ||||||
* | | Merge #3385 | bors[bot] | 2020-03-02 | 4 | -6/+45 | |
|\ \ | |/ |/| | ||||||
| * | Fix #3373 | Florian Diebold | 2020-03-01 | 4 | -6/+45 | |
* | | handle array pattern matching type inference | Josh Mcguigan | 2020-03-01 | 2 | -10/+55 | |
* | | remove match statement, handle suffix | Josh Mcguigan | 2020-03-01 | 2 | -14/+11 | |
* | | handle arbitrary length slices | Josh Mcguigan | 2020-03-01 | 2 | -12/+29 | |
* | | match single prefix slice | Josh Mcguigan | 2020-03-01 | 2 | -1/+48 | |
|/ | ||||||
* | Do autoderef for indexing | Florian Diebold | 2020-02-29 | 4 | -7/+74 | |
* | Do array unsizing for method receivers | Florian Diebold | 2020-02-29 | 2 | -2/+37 | |
* | Rename ast::ImplBlock -> ast::ImplDef | Aleksey Kladov | 2020-02-29 | 6 | -29/+28 | |
* | 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 | 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 |