`best_blame_constraint`: Blame better constraints when the region graph has cycles from invariance or `'static`#133858

Merged

bors merged 12 commits intorust-lang:masterfrom

dianne:better-blame-constraints-for-static

Jan 8, 2025

Commits on Jan 6, 2025

Commits on Jan 7, 2025

`best_blame_constraint`: don't filter constraints by sup SCC
dianne
committed
`best_blame_constraint`: add a special case to recover object lifetime default notes
dianne
committed
`best_blame_constraint`: avoid blaming constraints from MIR generated by desugaring
dianne
committed
`best_blame_constraint`: avoid blaming assignments without user-provided types
dianne
committed
remove the unused `ConstraintCategory::ClosureBounds`
dianne
committed
`best_blame_constraint`: prioritize blaming interesting-seeming constraints
dianne
committed
make outlives constraints from generic arguments less boring
dianne
committed
make outlives constraints from pointer comparisons less boring
dianne
committed
point out unblamed constraints from `Copy`/`Sized` bounds in region errors
dianne
committed
only avoid blaming assignments from argument patterns
dianne
committed