summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2023-11-04No lifetime on PlaceholderConstMichael Goulet-1/+1
2023-10-31Enums in offset_of: update based on est31, scottmcm & llogiq reviewGeorge Bateman-4/+4
2023-10-31Support enum variants in offset_of!George Bateman-1/+12
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+11
2023-10-25Rollup merge of #117008 - compiler-errors:canonical, r=lcnrMatthias Krüger-1/+2
2023-10-25Uplift Canonical to rustc_type_irMichael Goulet-1/+2
2023-10-25Rollup merge of #117136 - compiler-errors:defid-list, r=oli-obkMatthias Krüger-0/+10
2023-10-25Auto merge of #116993 - compiler-errors:clause-kind, r=jackh726bors-2/+15
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-1/+1
2023-10-24Intern LocalDefId list from opaque queryMichael Goulet-0/+10
2023-10-20Uplift ClauseKind and PredicateKindMichael Goulet-2/+15
2023-10-20s/generator/coroutine/Oli Scherer-4/+4
2023-10-20s/Generator/Coroutine/Oli Scherer-3/+3
2023-10-20Adjust importsMichael Goulet-1/+1
2023-10-19Uplift movability and mutability, the simple wayMichael Goulet-7/+1
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