about summary refs log tree commit diff
path: root/compiler/rustc_traits/src
AgeCommit message (Expand)AuthorLines
2025-03-12Rollup merge of #138394 - lcnr:yeet-variant, r=compiler-errorsManish Goregaokar-1/+1
2025-03-12remove unnecessary variantlcnr-1/+1
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-19/+9
2025-02-21don't leave assoc const unnormalized due to unconstrained paramsLukas Markeffsky-9/+7
2025-02-17Clean up dropck code a bitMatthew Jasper-7/+4
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-2/+6
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-4/+7
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-2/+6
2025-01-23Remove query normalize from normalize type opMichael Goulet-6/+2
2024-11-23Delay a bug when encountering an impl with unconstrained generics in codegen_...Michael Goulet-6/+15
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-11/+12
2024-10-29TypingMode :thinking:lcnr-4/+4
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-7/+7
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-2/+2
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-5/+6
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-2/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-03Add `warn(unreachable_pub)` to `rustc_traits`.Nicholas Nethercote-1/+2
2024-08-14Remove redundant type opsMichael Goulet-24/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-10/+7
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-2/+2
2024-07-09Split out overflow handling into its own moduleMichael Goulet-2/+2
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+2
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-0/+2
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-26/+17
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-2/+2
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-13/+21
2024-05-13split out AliasTy -> AliasTermMichael Goulet-8/+2
2024-05-10Apply nits, make some bounds into supertraits on inherent traitsMichael Goulet-1/+1
2024-05-10Lift `Lift`Michael Goulet-1/+1
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-7/+6
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-3/+5
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-2/+2
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-1/+8
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-16/+17
2024-02-19`normalize_projection_ty` is not used with next-solverlcnr-14/+13
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2024-01-25Remove unused featuresclubby789-1/+0
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+17
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-2/+2
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+1
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 09:53:00 +0000