Add needless_maybe_sized lint

[Alexendoo]

changelog: new lint: [needless_maybe_sized]

Closes #10600

[rustbot]

r? @giraffate

(rustbot has picked a reviewer for you, use r? to override)

[Jarcho]

r? Jarcho

I'm not sure if the trace with spans is really worth it. It takes up a lot space and most of the info is not very useful. Is there a way to just print the location without the snippet?

One extension would be to check if any of the traits have functions using Self by value. e.g.

trait T {
  fn foo() -> Self;
}

There's no Sized bound on the trait, but it's also unimplementable for unsized types.

[Alexendoo]

I don't think there is a way to keep the location while hiding the snippet, but we could make them regular notes

[bors]

☔ The latest upstream changes (presumably #12259) made this pull request unmergeable. Please resolve the merge conflicts.

[Alexendoo]

I ditched the spans for the trace, doesn't have the location but it seems fine to me. Most of the time it should be clear which traits are the cause but if not the user can always follow the bounds themselves

[Jarcho]

Too bad there's no option for printing spans like that.

[Jarcho]

Been a week without objections. Getting the spans printed nicely isn't a blocker and can be added in later.

@bors r+

[bors]

📌 Commit 0bc60dc has been approved by Jarcho

It is now in the queue for this repository.

[bors]

⌛ Testing commit 0bc60dc with merge fb65e02...

[bors]

💔 Test failed - checks-action_dev_test

[J-ZhengLi]

getting blocked by bors for this long is kind of unfortunate.

@Jarcho, could you retry running the tests so this can get through?

[Jarcho]

@bors r+

[bors]

📌 Commit cf0b55e has been approved by Jarcho

It is now in the queue for this repository.

[bors]

⌛ Testing commit cf0b55e with merge 6cfd4ac...

[bors]

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Jarcho
Pushing 6cfd4ac to master...