summary refs log tree commit diff
path: root/compiler/rustc_traits
AgeCommit message (Expand)AuthorLines
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-1/+0
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-1/+0
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-4/+4
2025-07-20Consider param-env for fast pathMichael Goulet-1/+1
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-2/+56
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-0/+2
2025-07-15Deduce outlives obligations from WF of coroutine interior typesMichael Goulet-2/+55
2025-07-15Add outlives to CoroutineWitnessTypesMichael Goulet-2/+1
2025-07-15Implement other logicstiif-0/+1
2025-07-02Remove fast path from codegen_select, since Sized has no methodsMichael Goulet-9/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+2
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+0
2025-05-20Querify coroutine_hidden_typesMichael Goulet-0/+39
2025-05-01Set groundwork for proper const normalizationBoxy-4/+10
2025-04-24Remove `weak` alias terminologyBoxy-3/+3
2025-04-09re-use sized fast pathDavid Wood-2/+14
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)-3/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-08Specify rust lints for `compiler/` crates via Cargo.Nicholas Nethercote-0/+3
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-19/+9
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-1/+1
2025-02-22Upgrade the compiler to edition 2024Michael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-25 18:44:28 +0000