about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/assoc.rs
AgeCommit message (Expand)AuthorLines
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-9/+6
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-1/+2
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-1/+1
2024-06-28address review commentsDeadbeef-65/+34
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-2/+2
2024-06-28temporarily disable effects on specialization testsDeadbeef-1/+6
2024-06-28implement new effects desugaringDeadbeef-3/+165
2024-05-13Remove `extern crate rustc_middle` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-5/+5
2024-03-19Ensure nested statics have a HIR node to prevent various queries from ICEingOli Scherer-25/+4
2024-03-19The AssocOpaqueTy HIR node is not actually needed to differentiate from other...Oli Scherer-5/+3
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-5/+1
2024-03-14Fill in HIR hash for associated opaque typesVadim Petrochenkov-3/+9
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-5/+1
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-8/+21
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-43/+4
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-2/+1
2023-12-03rustc: Harmonize `DefKind` and `DefPathData`Vadim Petrochenkov-5/+2
2023-11-28resolve: Feed the `def_kind` query immediately on `DefId` creationVadim Petrochenkov-6/+4
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-25rustc: Make `def_kind` mandatory for all `DefId`sVadim Petrochenkov-2/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-4/+4
2023-11-20Reduce exposure of some items.Nicholas Nethercote-1/+1
2023-11-03compiler: use `copied` instead of manual `map`DaniPopes-2/+2
2023-10-13Format all the let chains in compilerMichael Goulet-1/+2
2023-07-27tighten span slightly for synthetic itemMichael Goulet-2/+10
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+3
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-62/+46
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+3
2023-07-04include `host_effect_index` in `Generics`Deadbeef-0/+2
2023-06-29Add bidirectional where clauses on RPITIT synthesized GATsSantiago Pastorino-12/+0
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-4/+4
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-05Make generics_of has_self on RPITITs delegate to the opaqueSantiago Pastorino-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-09 08:56:26 +0000