about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2025-08-31Split `ObligationCauseCode::BinOp` for unops to `UnOp`Esteban Küber-2/+6
2025-08-20Unconditionally-const supertraits are considered not dyn compatibleMichael Goulet-7/+16
2025-07-11Auto merge of #142911 - mejrs:unsized, r=compiler-errorsbors-0/+4
2025-07-08Error on moving unsized values rather than ICE'ingmejrs-0/+4
2025-07-07remove `has_nested`lcnr-7/+2
2025-06-26Simplify IfCauseMichael Goulet-13/+5
2025-06-22Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errorsGuillaume Gomez-0/+2
2025-06-13Don't fold ExternalConstraintsData when it's emptyMichael Goulet-0/+14
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-0/+2
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-1/+7
2025-03-15Fold visit into tyMichael Goulet-3/+2
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-2/+5
2025-03-13Prefer built-in sized impls for rigid types alwaysMichael Goulet-1/+4
2025-03-12Rollup merge of #138394 - lcnr:yeet-variant, r=compiler-errorsManish Goregaokar-5/+2
2025-03-12remove unnecessary variantlcnr-5/+2
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-03-06Rollup merge of #137764 - compiler-errors:always-applicable-negative-impl, r=...Michael Goulet-2/+2
2025-03-04Ensure that negative auto impls are always applicableMichael Goulet-2/+2
2025-03-03Tweak error code for sized checks of const/staticMichael Goulet-1/+1
2025-02-24Change span field accesses to method callsJana Dönszelmann-1/+1
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-1/+1
2025-02-22Rollup merge of #137183 - compiler-errors:dead-regionck-code, r=lcnrMatthias Krüger-10/+0
2025-02-22Fix binding mode problemsMichael Goulet-1/+1
2025-02-22Remove UnifyReceiver cause codeMichael Goulet-10/+0
2025-02-21don't leave assoc const unnormalized due to unconstrained paramsLukas Markeffsky-1/+4
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-27/+17
2025-02-21Rename `InternedObligationCauseCode`.Nicholas Nethercote-15/+17
2025-02-20Remove unused items from `query.rs`.Nicholas Nethercote-6/+0
2025-02-20Move `StatementAsExpression` to where it's actually used.Nicholas Nethercote-6/+0
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-1/+1
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+2
2025-02-11Deeply normalize signature in new solverMichael Goulet-0/+3
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-0/+7
2025-02-06Auto merge of #136471 - safinaskar:parallel, r=SparrowLiibors-3/+3
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-6/+0
2025-02-04Two minor `use` fixups.Nicholas Nethercote-4/+2
2025-02-03tree-wide: parallel: Fully removed all `Lrc`, replaced with `Arc`Askar Safin-3/+3
2025-01-31Don't export the `Trivial*` macros.Nicholas Nethercote-1/+1
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-0/+3
2025-01-21remove support for the #[start] attributeRalf Jung-3/+0
2025-01-06Add derived causes for host effect predicatesMichael Goulet-17/+72
2025-01-02Remove unused fields from RepeatElementCopy obligationTaylor Cramer-4/+4
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-3/+2
2024-12-13Suggest using deref in patternsuellenberg-2/+21
2024-12-11Arbitrary self types v2: use Receiver traitAdrian Taylor-1/+11
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-0/+4
2024-11-23global old solver cache: use `TypingEnv`lcnr-16/+6
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+5