12 commits

Author	SHA1	Message	Date
Mahdi Dibaiee	e55583c4b8	refactor(rustc_middle): Substs -> GenericArg	2023-07-14 13:27:35 +01:00
Boxy	12138b8e5e	Move TyCtxt::mk_x to Ty::new_x where applicable	2023-07-05 20:27:07 +01:00
Michael Goulet	fbdef58414	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00
Michael Goulet	46a650f4e0	Migrate item_bounds to ty::Clause	2023-06-22 18:34:23 +00:00
Oli Scherer	f3b7dd6388	Add AliasKind::Weak for type aliases. ... Only use it when the type alias contains an opaque type. Also does wf-checking on such type aliases.	2023-06-16 19:39:48 +00:00
Maybe Waffle	e33e20824f	Rename tcx.mk_re_* => Region::new_*	2023-05-29 17:54:53 +00:00
Kyle Matsuda	c40e9cc7ca	Make EarlyBinder's inner value private; and fix all of the resulting errors	2023-05-28 10:44:53 -06:00
León Orell Valerian Liehr	e8139dfd5a	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
Nicholas Nethercote	8216b7f229	Make some region folders a little stricter. ... Because certain regions cannot occur in them.	2023-04-26 10:14:16 +10:00
Michael Goulet	8d2dbba63e	Stall auto-trait assembly for int/float vars in new solver	2023-04-10 15:54:14 +00:00
lcnr	3fab7f7c13	review + some small stuff	2023-04-10 09:21:21 +02:00
lcnr	2186847f28	move structural_traits into assembly	2023-04-10 09:18:47 +02:00

Renamed from compiler/rustc_trait_selection/src/solve/trait_goals/structural_traits.rs (Browse further)