Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | resolver: manually traverse nested block scopes | Jonas Schievink | 2021-03-22 | 1 | -0/+13 |
* | 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 |