10 Commits

Author	SHA1	Message	Date
Michael Goulet	1eedca8bdf	Allow a way to add constructors for rustc_type_ir types	2024-03-04 15:39:59 +00:00
lcnr	1b3164f5c9	always emit AliasRelate goals when relating aliases ... Add `StructurallyRelateAliases` to allow instantiating infer vars with rigid aliases. Change `instantiate_query_response` to be infallible in the new solver. This requires canonicalization to not hide any information used by the query, so weaken universe compression. It also modifies `term_is_fully_unconstrained` to allow region inference variables in a higher universe.	2024-02-26 10:17:43 +01:00
Michael Goulet	7e80867f3c	Move visitable bounds up into interner	2024-02-13 15:53:15 +00:00
Michael Goulet	edc5053352	Add assertions back to canonicalizer	2024-02-13 15:40:59 +00:00
Michael Goulet	c567eddec2	Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs	2024-02-06 02:22:58 +00:00
Michael Goulet	fcb42b42d6	Remove movability from TyKind::Coroutine	2023-12-28 16:35:01 +00:00
Michael Goulet	146e345d8b	Opportunistically resolve region var in canonicalizer	2023-12-15 05:02:37 +00:00
Michael Goulet	80f240a539	Make it not depend on nightly conditionally	2023-12-08 17:44:01 +00:00
Michael Goulet	1f5895b3e3	Feedback ... - Take more things by self, not &self - Clone more things - Rework namespacing so we can use `ty::` in the canonicalizer	2023-12-08 17:44:01 +00:00
Michael Goulet	cb41509601	Uplift canonicalizer into new trait solver crate	2023-12-08 17:44:01 +00:00