| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | hir_def: move visibility queries from hir_ty to hir_def | cynecx | 2021-03-24 | 3 | -34/+5 |
| * | hir_ty: add coverage testing for autoderef_visibility_method test | cynecx | 2021-03-20 | 2 | -0/+2 |
| * | hir_ty: fix test by removing trailing whitespace | cynecx | 2021-03-20 | 1 | -24/+23 |
| * | hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` down... | cynecx | 2021-03-20 | 1 | -1/+6 |
| * | hir_ty: fix visibility in infer_inherent_method test | cynecx | 2021-03-20 | 1 | -16/+16 |
| * | hir_ty: introduce visible_from_module param into method resolution | cynecx | 2021-03-20 | 3 | -4/+33 |
| * | hir_ty: check field visibility while iterating through autoderef candidates | cynecx | 2021-03-20 | 1 | -14/+36 |
| * | hir_ty: add field_visibilities and fn_visibility queries | cynecx | 2021-03-20 | 2 | -4/+33 |
| * | hir_ty: add tests around autoderef with visibility checking | cynecx | 2021-03-20 | 1 | -0/+119 |
| * | hir_ty: fix tests by making required methods public | cynecx | 2021-03-20 | 2 | -4/+4 |
* | | Fix chalk_ir assertion | Florian Diebold | 2021-03-24 | 4 | -18/+42 |
* | | Merge #8156 | bors[bot] | 2021-03-22 | 2 | -8/+63 |
|\ \ |
|
| * | | Correctly lower TraitRefs with default params | Lukas Wirth | 2021-03-22 | 2 | -8/+63 |
* | | | 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 |