about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/bounds.rs
AgeCommit message (Expand)AuthorLines
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