Explain origin of implicit `Sized` obligations and provide suggestions when possible - #85947

Closed

estebank wants to merge 11 commits into

rust-lang:masterfrom

estebank:type-trait-bound-span-2

Commits on Jun 11, 2021

Point at RHS of associated type in obligation span
estebank
committed
1d15d43
Point at `impl` assoc type on projection error
estebank
committed
280d4e1
Tweak spans and labels
estebank
committed
ccf6d4f
Further tweak labels
estebank
committed
01cb828
Revert span for "impl assoc type has extra requirements"
estebank
committed
1c02dbb
Mention where implicit `Sized` obligations come from on E0277
estebank
committed
0f533e5
Move label for `Sized` obligation introduced by type param or assoc type to its own note
estebank
committed
2c58ef5
Fix rustdoc
estebank
committed
6dab597
Fix rebase
estebank
committed
6fdf73f
Suggest removal of `?Sized` bound when appropriate
estebank
committed
f338867
Account for associated types in `Sized` bound error
estebank
committed
3956224