about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/bounds.rs
AgeCommit message (Expand)AuthorLines
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-100/+0
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-2/+2
2024-10-26Effects cleanupDeadbeef-11/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-1/+5
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+11
2024-10-24Remove associated type based effects logicMichael Goulet-139/+0
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-10/+11
2024-10-19Use PredicateFilter instead of OnlySelfBoundsMichael Goulet-3/+12
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-5/+39
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-15/+12
2024-09-21Don't elaborate effects predicates into bounds list unless we're actually col...Michael Goulet-1/+7
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-7/+7
2024-07-03Add `constness` to `TraitDef`Deadbeef-2/+2
2024-06-28address review commentsDeadbeef-23/+29
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-3/+3
2024-06-28bless tests part 1Deadbeef-0/+4
2024-06-28implement new effects desugaringDeadbeef-5/+97
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-5/+5
2024-05-04Make `Bounds.clauses` privateDeadbeef-1/+1
2024-04-23remove `push_trait_bound_inner`Deadbeef-10/+0
2024-04-01Make sure to insert Sized bound first into clauses listMichael Goulet-2/+8
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-2/+2
2024-01-08~const trait or projection bounds do not imply non-const boundsMichael Goulet-18/+0
2023-10-18Don't compare host param by nameMichael Goulet-4/+5
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-0/+27
2023-08-02Remove constness from `TraitPredicate`Deadbeef-2/+1
2023-06-19Fully fledged Clause typeMichael Goulet-24/+19
2023-06-19s/Clause/ClauseKindMichael Goulet-6/+10
2023-06-17`Bound::predicates` to return `Clause`dswij-11/+18
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-02Implement negative boundsMichael Goulet-1/+7
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-10Fix typos in compilerDaniPopes-1/+1
2022-12-28Rework hir Bounds collectionMichael Goulet-56/+37
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-4/+4
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+90
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-30 01:54:06 +0000