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

Age	Commit message (Collapse)	Author	Lines
2025-07-20	Consider param-env for fast path	Michael Goulet	-33/+2

2025-06-27	tests: add #![rustc_no_implicit_bounds]	David Wood	-4/+6
	After reviewing all tests with `?Sized` and discussing with lcnr, these tests seem like they could probably benefit from `#![rustc_no_implicit_bounds]`.
2025-06-16	tests: bless remaining tests	David Wood	-2/+33
	These tests just need blessing, they don't have any interesting behaviour changes. Some of these tests have new errors because `LegacyReceiver` cannot be proven to be implemented now that it is also testing for `MetaSized` - but this is just a consequence of the other errors in the test.
2025-05-29	Structurally normalize types as needed in projection_ty_core	Michael Goulet	-0/+32

2025-05-07	Only prefer param-env candidates if they remain non-global after norm	Michael Goulet	-19/+1

2025-04-24	norm nested aliases before evaluating the parent goal	lcnr	-0/+45

2025-04-14	Move `has_self` field to `hir::AssocKind::Fn`.	Nicholas Nethercote	-2/+2
	`hir::AssocItem` currently has a boolean `fn_has_self_parameter` field, which is misplaced, because it's only relevant for associated fns, not for associated consts or types. This commit moves it (and renames it) to the `AssocKind::Fn` variant, where it belongs. This requires introducing a new C-style enum, `AssocTag`, which is like `AssocKind` but without the fields. This is because `AssocKind` values are passed to various functions like `find_by_ident_and_kind` to indicate what kind of associated item should be searched for, and having to specify `has_self` isn't relevant there. New methods: - Predicates `AssocItem::is_fn` and `AssocItem::is_method`. - `AssocItem::as_tag` which converts `AssocItem::kind` to `AssocTag`. Removed `find_by_name_and_kinds`, which is unused. `AssocItem::descr` can now distinguish between methods and associated functions, which slightly improves some error messages.
2025-02-06	remove `feature(trait_upcasting)` from tests and bless them	Waffle Lapkin	-1/+0

2024-11-13	actually test next solver	lcnr	-1/+15

2024-10-21	normalizes-to disable infer var check	lcnr	-0/+52

2024-10-15	Be better at reporting alias errors	Michael Goulet	-1/+1

2024-06-12	Also passthrough for projection clauses	Michael Goulet	-3/+3

2024-05-24	drop region constraints for ambiguous goals	lcnr	-0/+29

2024-05-02	Use a proof tree visitor to refine the Obligation for error reporting	Michael Goulet	-6/+9

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

2024-03-18	`NormalizesTo` return nested goals	lcnr	-0/+45

2024-03-11	Move project -> normalize, move normalize tests	Michael Goulet	-0/+439