about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-01-10mir_transform: implement forced inliningDavid Wood-0/+3
2025-01-10Rollup merge of #133088 - the8472:randomize-me-harder, r=workingjubileeMatthias Krüger-0/+1
2025-01-10Foo<T> != Foo<U> under layout randomizationThe 8472-0/+1
2025-01-09Account for identity substituted items in symbol manglingMichael Goulet-4/+8
2025-01-09Harden `Ty` constructors a bit in debug modeOli Scherer-2/+37
2025-01-09Rollup merge of #134875 - compiler-errors:const-destruct-old-solver, r=lcnrMatthias Krüger-2/+2
2025-01-09Rollup merge of #128110 - veera-sivarajan:bugfix-80173, r=cjgillotMatthias Krüger-1/+13
2025-01-08Implement const Destruct in old solverMichael Goulet-2/+2
2025-01-07Rollup merge of #135149 - compiler-errors:mangle, r=oli-obkMatthias Krüger-21/+19
2025-01-06Add derived causes for host effect predicatesMichael Goulet-0/+22
2025-01-06Use a post-monomorphization typing env when mangling components that come fro...Michael Goulet-21/+19
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-1/+8
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+8
2025-01-03remove unused function paramsMatthias Krüger-2/+2
2024-12-31Convert some Into impls into From implsMichael Goulet-3/+3
2024-12-25Actually print all the relevant parts of a coroutine in verbose modeMichael Goulet-0/+6
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-4/+50
2024-12-21Suggest Semicolon in Incorrect Repeat ExpressionsVeera-1/+13
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-2/+2
2024-12-19Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxubors-9/+12
2024-12-19Rollup merge of #134491 - compiler-errors:dtor-tweaks, r=lqd许杰友 Jieyou Xu (Joe)-3/+3
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-6/+9
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-14/+102
2024-12-18Rollup merge of #133643 - lcnr:merge-candidates, r=compiler-errorsJacob Pratt-1/+1
2024-12-19Rename Scope.id to Scope.local_id, remove trivial accessorMichael Goulet-3/+3
2024-12-18update new solver candidate assemblylcnr-1/+1
2024-12-18introduce `LateParamRegionKind`lcnr-14/+102
2024-12-18Rollup merge of #134394 - dianne:clarify-pat-2024-migration, r=compiler-errors许杰友 Jieyou Xu (Joe)-5/+8
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-12/+12
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-5/+8
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-22/+14
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-22/+14
2024-12-17Clarify the match ergonomics 2024 migration lint's outputdianne-5/+8
2024-12-17Rollup merge of #133265 - the8472:extract-if-ranges, r=cuviperMatthias Krüger-1/+1
2024-12-17Auto merge of #134381 - jdonszelmann:move-attribute-types, r=oli-obkbors-6/+6
2024-12-17small refactor to region error handlinglcnr-10/+7
2024-12-17Auto merge of #134302 - bjorn3:remove_driver_queries, r=oli-obk,jieyouxubors-44/+35
2024-12-16update uses of extract_if in the compilerThe 8472-1/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-6/+6
2024-12-15Add hir::AttributeJonathan Dönszelmann-18/+22
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-6/+6
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-6/+6
2024-12-14Immediately enter in TyCtxt::create_global_ctxtbjorn3-31/+22
2024-12-14Move GlobalCtxt::finish to TyCtxtbjorn3-13/+13
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-5/+18
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-5/+27
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-9/+18
2024-12-12Move impl constness into impl trait headerOli Scherer-7/+6
2024-12-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-17/+116
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-2/+12