`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

+731-620

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