Warn about read into zero-length Vec

[tamaroning]

Closes #8886

• Followed [lint naming conventions][lint_naming]
• Added passing UI tests (including committed .stderr file)
• cargo test passes locally
• Executed cargo dev update_lints
• Added lint documentation
• Run cargo dev fmt

changelog: none

[rust-highfive]

r? @dswij

(rust-highfive has picked a reviewer for you, use r? to override)

[dswij]

Thanks for the PR! Changes looks great with the tests

Can you help to squash some commits? After that, I think it's good to merge

[tamaroning]

@dswij
Thank you for your review.
Squashed my commits :)

[dswij]

Thanks for this!

@bors r+

[bors]

📌 Commit 14478bb has been approved by dswij

[bors]

⌛ Testing commit 14478bb with merge 844c06a...

[bors]

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: dswij
Pushing 844c06a to master...

[unrealhoang]

@tamaroning
I found a false positive case for this lint:

    let mut v = Vec::new();
    {
        v.resize(10, 0);
        r.read(&mut v).unwrap();
    }

will cause this lint to go off.

[dswij]

@unrealhoang Seems like this is because the lint does not transverse down scopes. Can you help to create a new issue for this?

[unrealhoang]

@dswij I created a new issue: #9274

[dswij]

@dswij I created a new issue: #9274

@unrealhoang Thanks for this!