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

Age	Commit message (Collapse)	Author	Lines
2025-04-03	add `TypingMode::Borrowck`	lcnr	-37/+13

2025-01-11	Remove a bunch of diagnostic stashing that doesn't do anything	Michael Goulet	-17/+17

2024-12-16	Regression test for RPIT inheriting lifetime	Ryan Mehri	-0/+24

2024-07-24	Do not try to reveal hidden types when trying to prove Freeze in the ↵	Oli Scherer	-37/+2
	defining scope
2024-07-24	Add regression test	Oli Scherer	-0/+49

2024-03-28	remove test FIXME re once-module-region	Ali MJ Al-Nasrawy	-5/+4

2024-03-28	simplify check_unique	Ali MJ Al-Nasrawy	-26/+12

2024-03-28	check RPITs for invalid args	Ali MJ Al-Nasrawy	-5/+25

2024-03-28	except equal parameters from the uniqueness check	Ali MJ Al-Nasrawy	-0/+74

2024-02-19	Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU	bors	-14/+1
	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	use `instantiate_ty_var` in nll	lcnr	-14/+1
	we already use `instantiate_const_var`. This does lose some debugging info for nll because we stop populating the `reg_var_to_origin` table with `RegionCtxt::Existential(None)`, I don't think that matters however. Supporting this adds additional complexity to one of the most involved parts of the type system, so I really don't think it's worth it.
2024-02-16	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	许杰友 Jieyou Xu (Joe)	-1/+1

2024-01-22	Add some tests	Oli Scherer	-0/+39

2023-08-14	check for non-defining uses of RPIT	lcnr	-0/+64