about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/normalize
AgeCommit message (Expand)AuthorLines
2025-07-20Consider param-env for fast pathMichael Goulet-33/+2
2025-06-27tests: add #![rustc_no_implicit_bounds]David Wood-4/+6
2025-06-16tests: bless remaining testsDavid Wood-2/+33
2025-05-29Structurally normalize types as needed in projection_ty_coreMichael Goulet-0/+32
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-19/+1
2025-04-24norm nested aliases before evaluating the parent goallcnr-0/+45
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-02-06remove `feature(trait_upcasting)` from tests and bless themWaffle Lapkin-1/+0
2024-11-13actually test next solverlcnr-1/+15
2024-10-21normalizes-to disable infer var checklcnr-0/+52
2024-10-15Be better at reporting alias errorsMichael Goulet-1/+1
2024-06-12Also passthrough for projection clausesMichael Goulet-3/+3
2024-05-24drop region constraints for ambiguous goalslcnr-0/+29
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-6/+9
2024-03-18move testslcnr-0/+47
2024-03-18`NormalizesTo` return nested goalslcnr-0/+45
2024-03-11Move project -> normalize, move normalize testsMichael Goulet-0/+439