15 Commits

Author	SHA1	Message	Date
Deadbeef	4fec845c3f	Remove constness from TraitPredicate	2023-08-02 15:38:00 +00:00
Michael Goulet	21226eefb2	Fully fledged Clause type	2023-06-19 15:46:08 +00:00
Michael Goulet	fca56a8d2c	s/Clause/ClauseKind	2023-06-19 14:57:42 +00:00
dswij	f874345784	Bound::predicates to return Clause	2023-06-17 17:16:30 +08:00
bors	6f8c0557e0	Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr ... Replace `tcx.mk_trait_ref` with `TraitRef::new` First step in implementing https://github.com/rust-lang/compiler-team/issues/616 r? `@lcnr`	2023-05-04 05:54:09 +00:00
Michael Goulet	6e01e910cb	Implement negative bounds	2023-05-02 22:36:24 +00:00
Maybe Waffle	1b8c7784e5	Add new ToPredicate impls and TraitRef methods to remove some ty::Binber::dummy calls	2023-04-26 11:48:17 +00:00
Maybe Waffle	46b01abbcd	Replace tcx.mk_trait_ref with ty::TraitRef::new	2023-04-25 16:12:44 +00:00
DaniPopes	677357d32b	Fix typos in compiler	2023-04-10 22:02:52 +02:00
Michael Goulet	520b5fac10	Rework hir Bounds collection	2022-12-28 23:40:09 +00:00
Oli Scherer	7658e0fccf	Stop passing the self-type as a separate argument.	2022-11-21 20:39:46 +00:00
Oli Scherer	ad57f88d3f	Add helper to create the trait ref for a lang item	2022-11-21 20:35:17 +00:00
Oli Scherer	ec8d01fdcc	Allow iterators instead of requiring slices that will get turned into iterators	2022-11-21 20:33:55 +00:00
Oli Scherer	6f77c97b38	Assert that various types have the right amount of generic args and fix the sites that used the wrong amount	2022-11-21 20:31:59 +00:00
lcnr	1fc86a63f4	rustc_typeck to rustc_hir_analysis	2022-09-27 10:37:23 +02:00