about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-12/+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-6/+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
2024-12-25Actually print all the relevant parts of a coroutine in verbose modeMichael Goulet-0/+6
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-4/+50
2024-12-23Auto merge of #134465 - lcnr:type-verifier, r=compiler-errorsbors-25/+75
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-4/+50
2024-12-22Delete `Rvalue::Len`Scott McMurray-21/+0
2024-12-22Rollup merge of #134618 - RalfJung:coroutine-clone-comments, r=lqdMatthias Krüger-0/+5
2024-12-21Auto merge of #134268 - lqd:polonius-next, r=jackh726bors-0/+1
2024-12-21Hash only the spans that we care ended up reading in Span::try_metavarsMichael Goulet-7/+2
2024-12-21Hash the untracked macro variable expansionsMichael Goulet-1/+9
2024-12-21coroutine_clone: add commentsRalf Jung-0/+5
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-35/+1
2024-12-21Suggest Semicolon in Incorrect Repeat ExpressionsVeera-1/+13
2024-12-20Rollup merge of #134573 - lukas-code:unimpl-dyn-pointerlike, r=compiler-errorsMatthias Krüger-2/+2
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-2/+2
2024-12-20Rollup merge of #134514 - bjorn3:more_driver_refactors, r=jieyouxuDianQK-3/+3