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

Age	Commit message (Expand)	Author	Lines
2025-01-31	Manually walk into WF obligations in BestObligation proof tree visitor	Michael Goulet	-0/+2
2025-01-28	Properly check that array length is valid type during built-in unsizing in index	Michael Goulet	-0/+2
2024-12-25	Report correct SelectionError for ConstArgHasType in new solver fulfill	Michael Goulet	-2/+22
2024-09-12	Re-enable `ConstArgKind::Path` lowering by default	Noah Lev	-9/+2
2024-08-19	Retroactively feature gate `ConstArgKind::Path`	Boxy	-10/+18
2024-07-16	Add `ConstArgKind::Path` and make `ConstArg` its own HIR node	Noah Lev	-4/+4
2023-11-24	Show number in error message even for one error	Nilstrieb	-3/+3
2023-10-20	Avoid a `track_errors` by bubbling up most errors from `check_well_formed`	Oli Scherer	-2/+8
2023-08-30	Make get_return_block() return Some only for HIR nodes in body	Gurinder Singh	-0/+91