about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-10-03Don't normalize higher-ranked assumptions if they're not usedMichael Goulet-13/+18
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-2/+4
2025-09-30Rollup merge of #147184 - jdonszelmann:bevy-outlives-bound, r=lcnrMatthias Krüger-1/+7
2025-09-30clone region obligations instead of taking in implied bounds hackJana Dönszelmann-1/+7
2025-09-30Split Bound into Canonical and Boundjackh726-2/+4
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-1/+1
2025-09-26allow method calls on opaqueslcnr-2/+9
2025-09-24imrpove type_op failure ICElcnr-3/+3
2025-09-18Auto merge of #146727 - matthiaskrgr:rollup-98812uj, r=matthiaskrgrbors-0/+4
2025-09-18Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o...Matthias Krüger-0/+1
2025-09-18Rollup merge of #146434 - folkertdev:c-variadic-inherent-methods, r=workingju...Matthias Krüger-0/+3
2025-09-18Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwUbors-1/+18
2025-09-18support calls on opaque types :<lcnr-1/+18
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-16/+14
2025-09-17Remove `DynKind`León Orell Valerian Liehr-16/+14
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-0/+1
2025-09-16Rollup merge of #145095 - tiif:unstable_const_param, r=BoxyUwUStuart Cook-15/+23
2025-09-15Add check to make sure ConstParamTy impls of certain types are gated with #[u...tiif-15/+23
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-1/+1
2025-09-11c-variadic: allow trait methods to be c-variadicFolkert de Vries-0/+3
2025-09-09Driveby fixesBoxy-0/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-6/+6
2025-08-28Auto merge of #145807 - zachs18:only-consider-auto-traits-empty, r=compiler-e...bors-1/+6
2025-08-25Only consider auto traits empty for the purposes of omitting vptrs from subtr...Zachary S-1/+6
2025-08-22change HIR typeck unification handling approachlcnr-10/+15
2025-08-21Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1...Jacob Pratt-4/+23
2025-08-20Unconditionally-const supertraits are considered not dyn compatibleMichael Goulet-4/+23
2025-08-19Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco许杰友 Jieyou Xu (Joe)-3/+5
2025-08-19Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors许杰友 Jieyou Xu (Joe)-43/+18
2025-08-17Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation.Zachary S-3/+5
2025-08-13Cleanup assoc parent utilsCameron Steffen-1/+1
2025-08-13`fn new_coroutine_witness_for_coroutine` woopslcnr-43/+18
2025-08-11Rollup merge of #145194 - compiler-errors:coro-witness-re, r=lcnrStuart Cook-2/+15
2025-08-11Rollup merge of #144156 - compiler-errors:dtorck-upvars, r=lcnrStuart Cook-24/+50
2025-08-10Ignore coroutine witness type region args in auto trait confirmationMichael Goulet-2/+15
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-08-08Check coroutine upvars and in dtorck constraintMichael Goulet-24/+50
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-4/+10
2025-08-01Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnrbors-36/+51
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-21/+24
2025-07-31Remove the witness type from coroutine argsMichael Goulet-6/+12
2025-07-31Extract borrowck coroutine drop-liveness hackMichael Goulet-2/+5
2025-07-31Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitnessMichael Goulet-28/+34
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-21/+24
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-4/+10
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-1/+1
2025-07-31Move `ImplHeader` out of `rustc_middle`.Nicholas Nethercote-6/+19
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-2/+2
2025-07-28use let chains in mir, resolve, targetKivooeo-28/+24