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

Age	Commit message (Collapse)	Author	Lines
2024-12-18	resolve FIXME	lcnr	-5/+0

2024-06-05	bivariant alias: set `has_unconstrained_ty_var`	lcnr	-0/+20

2024-05-07	generalize hr alias: avoid unconstrainable infer vars	lcnr	-0/+120

2024-03-18	move tests	lcnr	-0/+31

2024-02-26	update tests	lcnr	-44/+51

2024-02-19	Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU	bors	-2/+2
	deduplicate infer var instantiation Having 3 separate implementations of one of the most subtle parts of our type system is not a good strategy if we want to maintain a sound type system :sparkles: while working on this I already found some subtle bugs in the existing code, so that's awesome :tada: cc #121159 This was necessary as I am not confident in my nll changes in #119106, so I am first cleaning this up in a separate PR. r? `@BoxyUwU`
2024-02-17	move ty var instantiation into the generalize module	lcnr	-2/+2

2024-02-16	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	许杰友 Jieyou Xu (Joe)	-8/+8

2024-02-09	hide impls if trait bound is proven from env	lcnr	-5/+3

2023-12-14	Unconditionally register alias-relate in projection goal	Michael Goulet	-2/+12

2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-0/+206