aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Fix expansion of OR-patterns in match checkJesse Bakker2021-03-301-25/+15
* internal: ensure that runaway type-inference doesn't block the main loopAleksey Kladov2021-03-291-0/+2
* Basic Support Macro 2.0Edwin Cheng2021-03-271-1/+82
* Merge #8201bors[bot]2021-03-272-1/+40
|\
| * Fix recursive macro statement expansionEdwin Cheng2021-03-252-1/+40
* | completion relevance consider if types can be unifiedJosh Mcguigan2021-03-263-1/+10
* | Use arrayvec 0.6Laurențiu Nicola2021-03-252-6/+4
|/
* Merge #7907bors[bot]2021-03-247-36/+210
|\
| * hir_ty: don't call write_field_resolution when field candidate isn't visiblecynecx2021-03-241-6/+4
| * hir_def: move visibility queries from hir_ty to hir_defcynecx2021-03-243-34/+5
| * hir_ty: add coverage testing for autoderef_visibility_method testcynecx2021-03-202-0/+2
| * hir_ty: fix test by removing trailing whitespacecynecx2021-03-201-24/+23
| * hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` down...cynecx2021-03-201-1/+6
| * hir_ty: fix visibility in infer_inherent_method testcynecx2021-03-201-16/+16
| * hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-203-4/+33
| * hir_ty: check field visibility while iterating through autoderef candidatescynecx2021-03-201-14/+36
| * hir_ty: add field_visibilities and fn_visibility queriescynecx2021-03-202-4/+33
| * hir_ty: add tests around autoderef with visibility checkingcynecx2021-03-201-0/+119
| * hir_ty: fix tests by making required methods publiccynecx2021-03-202-4/+4
* | Fix chalk_ir assertionFlorian Diebold2021-03-244-18/+42
* | Merge #8156bors[bot]2021-03-222-8/+63
|\ \
| * | Correctly lower TraitRefs with default paramsLukas Wirth2021-03-222-8/+63
* | | resolver: manually traverse nested block scopesJonas Schievink2021-03-221-0/+13
|/ /
* | Merge #8144bors[bot]2021-03-221-0/+6
|\ \
| * | bail out early for source code closureshi-rustin2021-03-221-0/+6
| |/
* | Merge #8139bors[bot]2021-03-229-109/+131
|\ \
| * | Align InEnvironment with ChalkFlorian Diebold2021-03-218-45/+38
| * | Align Canonical more with Chalk's versionFlorian Diebold2021-03-215-68/+97
* | | Merge #8136 #8146bors[bot]2021-03-229-106/+200
|\| |
| * | Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-217-31/+26
| * | Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-216-98/+197
* | | Merge #8137bors[bot]2021-03-213-9/+51
|\ \ \
| * | | Fix box pattern inference panicLukas Wirth2021-03-213-9/+51
* | | | Merge #8134bors[bot]2021-03-211-0/+23
|\ \ \ \ | |_|/ / |/| | |
| * | | use the included file as the source of expanded include macroYilin Chen2021-03-211-0/+23
| | |/ | |/|
* | | Merge #8133bors[bot]2021-03-216-15/+169
|\ \ \ | |_|/ |/| |
| * | Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-215-18/+48
| * | Test for a Salsa bugFlorian Diebold2021-03-213-0/+124
| |/
* | clippy::complexity simplifications related to IteratorsMatthias Krüger2021-03-211-1/+1
* | remove more redundant clones (clippy::redundant_clone())Matthias Krüger2021-03-211-2/+1
|/
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-2013-86/+124
* Remove WhereClause::ErrorFlorian Diebold2021-03-207-42/+8
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-209-99/+83
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-199-120/+210
* Chalkify TraitRefFlorian Diebold2021-03-1814-68/+94
* Fix infinite recursion when computing diagnostics for inner itemsJonas Schievink2021-03-181-1/+14
* Merge #8082bors[bot]2021-03-181-0/+22
|\
| * Handle inner recursive macro rules casesEdwin Cheng2021-03-181-0/+22
* | Support `#[cfg]` on all associated itemsJonas Schievink2021-03-181-0/+19
* | Add test for self-calling inner functionJonas Schievink2021-03-171-0/+21