about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2023-10-18Some renaming nits for rustc_type_irMichael Goulet-14/+12
2023-10-18Remove unused variant BinderListTyMichael Goulet-1/+0
2023-10-18AliasTy::new instead of tcx methodlcnr-10/+0
2023-10-13Format all the let chains in compilerMichael Goulet-1/+5
2023-10-08improve the suggestion of generic_bound_failureAli MJ Al-Nasrawy-10/+15
2023-10-02Implement Deref<LayoutS> for LayoutLukas Wirth-2/+2
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-24Remove span from BrAnon.Camille GILLOT-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-09-22Add a way to decouple the implementation and the declaration of a TyCtxt method.Oli Scherer-0/+6
2023-09-18make more prettyBoxy-0/+1
2023-09-18Rollup merge of #115907 - RalfJung:interner-check, r=compiler-errorsMatthias Krüger-0/+24
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-7/+1
2023-09-18Rename `CloneLiftImpls` as `TrivialLiftImpls`.Nicholas Nethercote-1/+1
2023-09-17nop_lift macros: ensure that we are using the right internerRalf Jung-0/+24
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2023-09-09Use `FreezeLock` for `CStore`John Kåre Alsaker-5/+3
2023-09-02Add `Freeze` type and use it to store `Definitions`John Kåre Alsaker-10/+10
2023-08-24Optimize `lock_shards`John Kåre Alsaker-19/+20
2023-08-09rustc: Move `stable_crate_id` from `Session` to `GlobalCtxt`Vadim Petrochenkov-4/+12
2023-08-09rustc: Move `crate_types` from `Session` to `GlobalCtxt`Vadim Petrochenkov-3/+42
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-2/+2
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-0/+78
2023-08-08Simplify via map_rpit_lifetime_to_fn_lifetimeMichael Goulet-1/+10
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-0/+69
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-08-06lower impl const to bind to host effect paramDeadbeef-2/+2
2023-07-31Don't check unnecessarily that impl trait is RPITMichael Goulet-28/+1
2023-07-21new solver: add a separate cache for coherencelcnr-4/+8
2023-07-18Add `#[track_caller]` to lint related diagnostic functionsMaybe Waffle-0/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-27/+27
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-10/+4
2023-07-05Change comment on `TyCtxt::mk_ty_from_kind`Michael Goulet-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-375/+21
2023-07-05Auto merge of #113370 - compiler-errors:rollup-8gvyy8e, r=compiler-errorsbors-0/+8
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+10
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-0/+8
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-28/+0
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-12/+12
2023-07-04enforce context effects in typeckDeadbeef-0/+10
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-25/+5
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-0/+6
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-5/+24
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-0/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+8
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-9/+0
2023-06-02Rollup merge of #112189 - compiler-errors:bad-gen, r=cjgillotMatthias Krüger-4/+14
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 02:13:20 +0000