about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
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
2025-01-03Rollup merge of #135044 - compiler-errors:better-infer-suggestions-in-const, ...Matthias Krüger-3/+0
2025-01-03remove unused function paramsMatthias Krüger-2/+2
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-0/+5
2025-01-02Remove diagnostic_only_typeck and fix placeholder suggestion for const/staticMichael Goulet-3/+0
2025-01-02Remove unused fields from RepeatElementCopy obligationTaylor Cramer-4/+4
2025-01-01remove `allow_two_phase_borrow`Rémy Rakic-0/+2
2024-12-31clean up target feature system; most of the toggleability is now handled by t...Ralf Jung-1/+1
2024-12-31explicitly model that certain ABIs require/forbid certain target featuresRalf Jung-0/+1
2024-12-31Rollup merge of #134949 - compiler-errors:froms, r=jieyouxuStuart Cook-6/+6
2024-12-31Convert some Into impls into From implsMichael Goulet-6/+6
2024-12-30Fix typosNoName-6/+6
2024-12-28Auto merge of #131244 - clubby789:match-branches-unreachable, r=DianQKbors-0/+11
2024-12-27Rollup merge of #134787 - fmease:spruce-up-queries, r=compiler-errors许杰友 Jieyou Xu (Joe)-94/+217
2024-12-27MatchBranchSimplification: Consider empty-unreachable otherwise branchclubby789-0/+11
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-94/+217