about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-1/+1
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
2025-07-20Consider param-env for fast pathMichael Goulet-4/+22
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-25/+89
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-9/+40
2025-07-17Unstall obligations by looking for coroutines in old solverMichael Goulet-7/+32
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-0/+7
2025-07-16trait_sel: `MetaSized` always holds temporarilyDavid Wood-0/+7
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-25/+89
2025-07-15Implement other logicstiif-0/+10
2025-07-15Add the core logic in old and new solverstiif-2/+19
2025-07-14Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnrSamuel Tardieu-4/+1
2025-07-13Simplify make_query_region_constraintsMichael Goulet-4/+1
2025-07-13Retire hir::*ItemRef.Camille GILLOT-2/+2
2025-07-10Rollup merge of #143640 - oli-obk:const-fn-traits, r=compiler-errorsMatthias Krüger-1/+50
2025-07-08Instantiate binder for Copy/Clone/Sized eagerlyMichael Goulet-196/+222
2025-07-08Instantiate auto trait before computing higher-ranked constituent typesMichael Goulet-16/+23
2025-07-08Remove `const_eval_select` hackOli Scherer-5/+2
2025-07-08Constify `Fn*` traitsOli Scherer-1/+53
2025-07-07remove `has_nested`lcnr-59/+52