about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-11c-variadic: allow trait methods to be c-variadicFolkert de Vries-0/+6
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-08Error on moving unsized values rather than ICE'ingmejrs-0/+4
2025-06-26Simplify IfCauseMichael Goulet-13/+5
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-0/+2
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-03-12remove unnecessary variantlcnr-5/+2
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-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-21Rename `InternedObligationCauseCode`.Nicholas Nethercote-15/+17
2025-02-20Move `StatementAsExpression` to where it's actually used.Nicholas Nethercote-6/+0
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-4/+0
2025-02-04Two minor `use` fixups.Nicholas Nethercote-2/+1
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-2/+1
2024-12-13Suggest using deref in patternsuellenberg-2/+21
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-0/+4
2024-11-23global old solver cache: use `TypingEnv`lcnr-2/+2
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+5
2024-10-27Remove ObligationCause::span() methodMichael Goulet-12/+7
2024-10-27Stop using the whole match expr span for an arm's obligation spanMichael Goulet-0/+2
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-4/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-49/+55
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-08Detect `*` operator on `!Sized` expressionEsteban Küber-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+7
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-1/+0
2024-06-16Uplift Reveal to rustc_type_irMichael Goulet-48/+1
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-1/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+2
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-27/+2
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-16/+9
2024-05-10Name tweaksMichael Goulet-7/+7
2024-05-10More rename falloutMichael Goulet-18/+19
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-27/+20
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-11/+12