about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2025-01-14Add hir::HeaderSafety to make follow up commits simplerOli Scherer-0/+4
2025-01-14Add `tcx.visible_traits()` and use it for producing diagnosticsTrevor Gross-0/+13
2025-01-14Make `#[rustc_private]` override dependency visibilityTrevor Gross-0/+5
2025-01-14Rollup merge of #135451 - mzacho:code-duplication, r=oli-obkMatthias Krüger-1/+0
2025-01-14Auto merge of #135465 - jhpratt:rollup-7p93bct, r=jhprattbors-9/+15
2025-01-13Rollup merge of #134498 - oli-obk:push-wmxynprsyxvr, r=compiler-errorsJacob Pratt-9/+15
2025-01-13remove code duplication when hashing query result and interning nodeMartin Zacho-1/+0
2025-01-13Rollup merge of #135426 - compiler-errors:no-resolve-assoc-ty, r=lcnrMatthias Krüger-153/+20
2025-01-13Auto merge of #135167 - mzacho:depth-limit-const-eval-query, r=oli-obkbors-0/+1
2025-01-13Assert that Instance::try_resolve is only used on body-like thingsMichael Goulet-153/+20
2025-01-12Rollup merge of #135383 - BoxyUwU:cov_tag_ptr, r=compiler-errorsGuillaume Gomez-1/+1
2025-01-12De-abstract tagged pointer abstractionBoxy-1/+1
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-11/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-11/+1
2025-01-11Rollup merge of #135314 - compiler-errors:eagerly-mono-closures, r=wesleywiserMatthias Krüger-0/+13
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-21/+21
2025-01-10mir_transform: implement forced inliningDavid Wood-3/+7
2025-01-10Fix cycle error only occurring with -Zdump-mirOli Scherer-9/+15
2025-01-10Rollup merge of #133088 - the8472:randomize-me-harder, r=workingjubileeMatthias Krüger-0/+1
2025-01-10Eagerly collect mono items for non-generic closuresMichael Goulet-0/+13
2025-01-10Foo<T> != Foo<U> under layout randomizationThe 8472-0/+1
2025-01-09Rollup merge of #135261 - compiler-errors:coverage-has-identity-substs, r=oli...Matthias Krüger-4/+8
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-09Remove the now-useless `Result` from `lit_to_const`Oli Scherer-20/+2
2025-01-09Use error constant instead of explicit error handlingOli Scherer-2/+0
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-08Rollup merge of #134228 - oli-obk:pat-lit-path, r=compiler-errorsMatthias Krüger-0/+2
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-11/+12
2025-01-08Exhaustively handle expressions in patternsOli Scherer-0/+2
2025-01-08Rollup merge of #134920 - lqd:polonius-next-episode-6, r=jackh726Jacob Pratt-0/+2
2025-01-07Rollup merge of #135149 - compiler-errors:mangle, r=oli-obkMatthias Krüger-21/+19
2025-01-06only avoid blaming assignments from argument patternsdianne-6/+1
2025-01-06make outlives constraints from generic arguments less boringdianne-1/+10
2025-01-06`best_blame_constraint`: prioritize blaming interesting-seeming constraintsdianne-5/+2
2025-01-06remove the unused `ConstraintCategory::ClosureBounds`dianne-5/+0
2025-01-06`best_blame_constraint`: avoid blaming assignments without user-provided typesdianne-1/+6
2025-01-06Add derived causes for host effect predicatesMichael Goulet-17/+94
2025-01-06depth limit eval_to_const_value_rawMartin Zacho-0/+1
2025-01-06Rollup merge of #135147 - compiler-errors:borrowck-tweaks, r=chenyukangMatthias Krüger-19/+22
2025-01-06Use a post-monomorphization typing env when mangling components that come fro...Michael Goulet-21/+19
2025-01-06Improve find_self_call with reborrowed receiverMichael Goulet-19/+22
2025-01-05Auto merge of #134794 - RalfJung:abi-required-target-features, r=workingjubileebors-1/+2
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-4/+11
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+8
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-3/+3
2025-01-04Rollup merge of #135069 - matthiaskrgr:param_rec_usage, r=jieyouxuMatthias Krüger-2/+2
2025-01-04Auto merge of #135057 - compiler-errors:project-unconstrained, r=oli-obkbors-0/+5