rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2024-03-04	Allow a way to add constructors for rustc_type_ir types	Michael Goulet	-3/+4

2024-02-26	always emit `AliasRelate` goals when relating aliases	lcnr	-8/+30
	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-13	Move visitable bounds up into interner	Michael Goulet	-8/+2

2024-02-13	Add assertions back to canonicalizer	Michael Goulet	-3/+10

2024-02-06	Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs	Michael Goulet	-1/+2

2023-12-28	Remove movability from TyKind::Coroutine	Michael Goulet	-1/+1

2023-12-15	Opportunistically resolve region var in canonicalizer	Michael Goulet	-7/+1

2023-12-08	Feedback	Michael Goulet	-99/+96
	- Take more things by self, not &self - Clone more things - Rework namespacing so we can use `ty::` in the canonicalizer
2023-12-08	Uplift canonicalizer into new trait solver crate	Michael Goulet	-0/+426