Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge #8144 | bors[bot] | 2021-03-22 | 1 | -0/+6 | |
|\ \ | ||||||
| * | | bail out early for source code closures | hi-rustin | 2021-03-22 | 1 | -0/+6 | |
| |/ | ||||||
* | | Merge #8139 | bors[bot] | 2021-03-22 | 9 | -109/+131 | |
|\ \ | ||||||
| * | | Align InEnvironment with Chalk | Florian Diebold | 2021-03-21 | 8 | -45/+38 | |
| * | | Align Canonical more with Chalk's version | Florian Diebold | 2021-03-21 | 5 | -68/+97 | |
* | | | Merge #8136 #8146 | bors[bot] | 2021-03-22 | 9 | -106/+200 | |
|\| | | ||||||
| * | | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 7 | -31/+26 | |
| * | | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 6 | -98/+197 | |
* | | | Merge #8137 | bors[bot] | 2021-03-21 | 3 | -9/+51 | |
|\ \ \ | ||||||
| * | | | Fix box pattern inference panic | Lukas Wirth | 2021-03-21 | 3 | -9/+51 | |
* | | | | Merge #8134 | bors[bot] | 2021-03-21 | 1 | -0/+23 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | use the included file as the source of expanded include macro | Yilin Chen | 2021-03-21 | 1 | -0/+23 | |
| | |/ | |/| | ||||||
* | | | Merge #8133 | bors[bot] | 2021-03-21 | 6 | -15/+169 | |
|\ \ \ | |_|/ |/| | | ||||||
| * | | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 5 | -18/+48 | |
| * | | Test for a Salsa bug | Florian Diebold | 2021-03-21 | 3 | -0/+124 | |
| |/ | ||||||
* | | clippy::complexity simplifications related to Iterators | Matthias Krüger | 2021-03-21 | 1 | -1/+1 | |
* | | remove more redundant clones (clippy::redundant_clone()) | Matthias Krüger | 2021-03-21 | 1 | -2/+1 | |
|/ | ||||||
* | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 13 | -86/+124 | |
* | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 7 | -42/+8 | |
* | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 9 | -99/+83 | |
* | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 9 | -120/+210 | |
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 14 | -68/+94 | |
* | Fix infinite recursion when computing diagnostics for inner items | Jonas Schievink | 2021-03-18 | 1 | -1/+14 | |
* | Merge #8082 | bors[bot] | 2021-03-18 | 1 | -0/+22 | |
|\ | ||||||
| * | Handle inner recursive macro rules cases | Edwin Cheng | 2021-03-18 | 1 | -0/+22 | |
* | | Support `#[cfg]` on all associated items | Jonas Schievink | 2021-03-18 | 1 | -0/+19 | |
* | | Add test for self-calling inner function | Jonas Schievink | 2021-03-17 | 1 | -0/+21 | |
* | | Improve test | Jonas Schievink | 2021-03-17 | 1 | -0/+21 | |
* | | Add test for `#[cfg]` on function params | Jonas Schievink | 2021-03-17 | 1 | -0/+13 | |
* | | Handle `#[cfg]` on call arguments | Jonas Schievink | 2021-03-17 | 1 | -0/+23 | |
|/ | ||||||
* | avoid converting types into themselves via .into() (clippy::useless-conversion) | Matthias Krüger | 2021-03-17 | 4 | -20/+20 | |
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 14 | -143/+155 | |
*-. | Merge #7900 #8000 | bors[bot] | 2021-03-16 | 4 | -13/+200 | |
|\ \ | ||||||
| | * | Use hir formatter more | oxalica | 2021-03-15 | 1 | -1/+1 | |
| | * | Impl HirDisplay for function hover message | oxalica | 2021-03-15 | 1 | -8/+195 | |
| | * | Introduce FunctionQualifier for hir::FunctionData | oxalica | 2021-03-15 | 2 | -4/+4 | |
* | | | Fix macro expansion for statements w/o semicolon | Edwin Cheng | 2021-03-16 | 1 | -0/+16 | |
* | | | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 3 | -14/+29 | |
* | | | Fix unification logic | Florian Diebold | 2021-03-15 | 2 | -101/+117 | |
| |/ |/| | ||||||
* | | Merge #8029 | bors[bot] | 2021-03-15 | 1 | -2/+2 | |
|\ \ | ||||||
| * | | Enable thread-local coverage marks | Laurențiu Nicola | 2021-03-15 | 1 | -2/+2 | |
* | | | Merge #8020 | bors[bot] | 2021-03-15 | 1 | -1/+9 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Speedup trait impl search for goto_implementation | Lukas Wirth | 2021-03-15 | 1 | -1/+9 | |
* | | | Merge #8018 | bors[bot] | 2021-03-15 | 10 | -137/+126 | |
|\ \ \ | ||||||
| * | | | Don't use Substs for Ref/Raw/Array/Slice | Florian Diebold | 2021-03-14 | 9 | -111/+74 | |
| * | | | Make Ty wrap TyKind in an Arc | Florian Diebold | 2021-03-14 | 8 | -27/+53 | |
| |/ / | ||||||
* / / | Simplify source maps for fields | Aleksey Kladov | 2021-03-15 | 2 | -6/+5 | |
|/ / | ||||||
* | | More renaming | Florian Diebold | 2021-03-14 | 4 | -18/+22 | |
* | | Use chalk_ir::FnSig | Florian Diebold | 2021-03-14 | 5 | -21/+22 | |
* | | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 10 | -45/+45 |