about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/assoc.rs
AgeCommit message (Expand)AuthorLines
2023-03-29Walk return-position impl trait in trait deeply in associated_item_def_idsMichael Goulet-16/+19
2023-03-22Auto merge of #109497 - matthiaskrgr:rollup-6txuxm0, r=matthiaskrgrbors-4/+0
2023-03-22Do not feed param_env for RPITITs impl sideSantiago Pastorino-4/+0
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-11/+13
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-13/+12
2023-03-20Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errorsMatthias Krüger-7/+3
2023-03-20Update some names and commentsMichael Goulet-24/+37
2023-03-17Fix generics_of for impl's RPITIT synthesized associated typeSantiago Pastorino-7/+3
2023-03-15Feed is_type_alias_impl_trait for RPITITs on the trait sideSantiago Pastorino-0/+2
2023-03-15Properly implement generics_of for traitsSantiago Pastorino-2/+31
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-14Make fns from other crates with RPITIT workSantiago Pastorino-0/+6
2023-03-13Don't opt_rpitit_info as a separate queryMichael Goulet-11/+7
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-11/+49
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-3/+2
2023-03-06Implement inferred_outlives_of for impl side RPITITs assoc typeSantiago Pastorino-0/+3
2023-03-06Implement explicit_predicates_of for impl side RPITITs assoc typeSantiago Pastorino-0/+6
2023-03-06Implement generics_of for impl side RPITITs assoc typeSantiago Pastorino-6/+34
2023-03-06Implement param_env for RPITITs assoc typeSantiago Pastorino-0/+4
2023-03-06Properly implement explicit_item_bounds for RPITITs trait assoc tySantiago Pastorino-3/+0
2023-03-06Add tcx::lower_impl_trait_in_trait_to_assoc_ty to avoid accessing through ses...Santiago Pastorino-2/+2
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-02Feed queries on impl side for RPITITs when using lower_impl_trait_in_trait_to...Santiago Pastorino-5/+65
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-03-01Make associated_item_def_ids for traits use an unstable option to also return...Santiago Pastorino-5/+89
2023-03-01Fix typo in docsSantiago Pastorino-1/+1
2023-03-01Use DefIdMap instead of FxHashMap for impl_item_implementor_ids query.Michael Woerister-3/+2
2023-02-21Rollup merge of #108141 - spastorino:add_rpitit_queries, r=compiler-errorsDylan DPC-2/+101
2023-02-19Document associated_item methodsSantiago Pastorino-0/+11
2023-02-19Make associated_items_for_impl_trait_in_trait handle impl traits on implsSantiago Pastorino-18/+60
2023-02-19Add associated_item_for_impl_trait_in_trait querySantiago Pastorino-6/+18
2023-02-19Add associated_items_for_impl_trait_in_trait querySantiago Pastorino-2/+36
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-1/+1
2023-02-05rustc_metadata: Encode/decode some `LazyArray`s without an `Option`Vadim Petrochenkov-3/+6
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-8/+8
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-1/+1
2022-08-01Remove trait_of_item query.Camille GILLOT-8/+0
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-17/+8
2022-08-01Remove visibility from AssocItem.Camille GILLOT-8/+2
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-2/+0
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-2/+2
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-2/+1
2022-01-08Link impl items to corresponding trait items in late resolver.Camille GILLOT-104/+2
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-0/+9
2022-01-07Move associated_item* providers to their own moduleMatthew Jasper-0/+230