aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-0316-62/+60
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-0316-152/+301
* Merge #8284bors[bot]2021-04-021-1/+1
|\
| * Global TypeRef/TraitRef interningJonas Schievink2021-04-011-1/+1
* | Merge #8287bors[bot]2021-04-021-36/+33
|\ \
| * | Don't allocate in `associated_type_shorthand_candidates`Lukas Wirth2021-04-021-36/+33
* | | minor: add profile call for resolve_obligationsAleksey Kladov2021-04-021-0/+2
* | | Merge #8285bors[bot]2021-04-024-8/+26
|\ \ \ | |/ / |/| |
| * | Don't recheck obligations if we have learned nothing newFlorian Diebold2021-04-014-8/+26
| |/
* | Merge #8283bors[bot]2021-04-011-1/+1
|\ \ | |/ |/|
| * Resolve associated types with type anchorsLukas Wirth2021-04-011-1/+1
* | Fix block inner item defined in macroEdwin Cheng2021-03-311-0/+26
|/
* Merge #8266bors[bot]2021-03-311-0/+43
|\
| * Fix generic arguments being incorrectly offset in qualified trait castsLukas Wirth2021-03-301-0/+43
* | Merge #8186bors[bot]2021-03-301-8/+4
|\ \
| * | Remove TraitRef::ErrorLukas Wirth2021-03-291-4/+1
| * | Rename target_ty to self_tyLukas Wirth2021-03-291-1/+1
| * | Lower traits to TraitRef instead of TypeRefLukas Wirth2021-03-291-7/+6
* | | 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-253-7/+5
|/
* 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
|\ \ \