Report a specialized error when a `'static` obligation comes from an `impl dyn Trait` - #121274

Closed

estebank wants to merge 19 commits into

rust-lang:masterfrom

estebank:implicit_static

Commits on Mar 20, 2024

Report a specialized error when a `'static` obligation comes from an `impl dyn Trait`
estebank
committed
66db972
Modify primary span on lifetime error
estebank
committed
8949695
Tweak lifetime error
estebank
committed
afa5995
Fix clippy tests
estebank
committed
aebcb29
Tweak logic to account for methods implemented on trait
estebank
committed
cbf4781
On E0478, point at source of lifetime requirement
estebank
committed
b870786
Elaborate predicates to also display transitive obligations
estebank
committed
edb3338
Cleanup
estebank
committed
d89dba1
Surface yet more trait obligations
estebank
committed
6fde87c
Always look at the trait bounds (not just when looking at a trait `DefId`)
estebank
committed
2d573b6
`#[allow(rustc::untranslatable_diagnostic)]` for now
estebank
committed
6d8c08a
Account for more cases
estebank
committed
b27b9fd
Provide more detail on lifetime failure of trait object in field type
estebank
committed
551e89e
Reword sentence
estebank
committed
1c5993f
Account for lifetimes of assoc types in fields
estebank
committed
fefce2f
Introduce `traits::util::elaborate_predicates_of`
estebank
committed
a539a0e
Introduce `traits::util::filter_predicates`
estebank
committed
64b8cc9
Tweak E0478
estebank
committed
014daaa
Remove `FIXME` after rebase and add test
estebank
committed
8766658