about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/assoc.rs
AgeCommit message (Collapse)AuthorLines
2023-03-13Don't opt_rpitit_info as a separate queryMichael Goulet-0/+5
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
This trait was a way to generalize over both `TyCtxt` and `Resolver`, but now `Resolver` has access to `TyCtxt`, so this trait is no longer necessary.
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-6/+6
Remove `arena_cache` modifier from `associated_item` query & copy `ty::AssocItem` instead of passing by ref r? `@ghost`
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of ↵Kyle Matsuda-5/+1
in metadata
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+5
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-6/+6
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add ↵Kyle Matsuda-1/+1
EarlyBinder to fn_sig in metadata
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-1/+1
This way we can properly deal with the types.
2023-01-20Rollup merge of #106979 - Nilstrieb:type-of-default-assoc-type, r=petrochenkovMatthias Krüger-0/+5
Document how to get the type of a default associated type
2023-01-17Document how to get the type of a default associated typenils-0/+5
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-09-07rustc: Parameterize `ty::Visibility` over used IDVadim Petrochenkov-1/+1
It allows using `LocalDefId` instead of `DefId` when possible, and also encode cheaper `Visibility<DefIndex>` into metadata.
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-28/+24
2022-08-01Remove visibility from AssocItem.Camille GILLOT-1/+5
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-1/+4
2022-07-24Combine redundant obligation cause codesMichael Goulet-0/+10
2022-05-13Cache more queries on disk.Camille GILLOT-3/+3
2022-02-03Fix ret > 1 bound if shadowed by constkadmin-3/+2
Prior to a change, it would only look at types in bounds. When it started looking for consts, shadowing type variables with a const would cause an ICE, so now defer looking at consts only if there are no types present.
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-8/+11
This is the same idea as #92533, but for `AssocItem` instead of `VariantDef`/`FieldDef`. With this change, we no longer have any uses of `#[stable_hasher(project(...))]`
2022-01-17Update term for use in more placeskadmin-0/+13
Replace use of `ty()` on term and use it in more places. This will allow more flexibility in the future, but slightly worried it allows items which are consts which only accept types.
2022-01-08Link impl items to corresponding trait items in late resolver.Camille GILLOT-15/+0
2022-01-07Add `trait_item_def_id` to `AssocItem`Matthew Jasper-0/+5
This allows avoiding some lookups by name
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
See #91867 This was mostly straightforward. In several places, I take advantage of the fact that lifetimes are non-hygenic: a macro declares the 'tcx' lifetime, which is then used in types passed in as macro arguments.
2021-08-13handle the case when container is not implDeadbeef-5/+3
2021-08-13Inherited use constness and assoc change predicateDeadbeef-0/+9
2021-07-23Improve `get_by_key_enumerated` moreYuki Okushi-1/+1
2021-04-05resolve conflictshi-rustin-3/+3
resolve conflicts
2021-03-10Moved all Assoc* types to assoc.rs.Nicholas-Baron-0/+170