Revert "!: this is the commit that demonstrates the ICE"

This reverts commit d85f903c91d909534003ee2ff0e16316b20687dc.

!: this is the commit that demonstrates the ICE

Don't need `rustc_attr` anymore

Improve help message

All five `has_repr_attr` agree + are correct

Exploring emitting other sorts of `span`s

Better testcase names

One more test

Still renaming lmao

Improve doc and span messages

Rename stderr

Rename lint

run rustfmt

Tidy import + update expected stderr

Tidy imports

Check for tuple structs

Refactor ZS array detection again and this one seems great 👍

update testsuite and expand `if_chain`

Tidy comments + tests; revert 'size-is-zero' detection

tried to simplify but it doesn't work :/

intermediate step

add multiple `get_attrs` and `includes_repr` and they all work!

Ran `dev bless`!

output looks fantastic

it works i think (incl some `dbg`s)

Implement getting an array of attributes!

Implement detecting trailing zero-sized array

ayy it compiles! ship it, right? 😎 /s

why was `rustc_lint_defs` not already externed in `lib.rs`?
and how was r-a able to find it but cargo wasn't? 🤔

Well it builds

Add boilerplate and basic tests

Auto merge of #7835 - mikerite:unneeded-allow-20211018, r=xFrednet

Remove unneeded allow

Remove unneeded allow

changelog: none

Remove unneeded allow

Rollup merge of #89990 - petrochenkov:idempty, r=wesleywiser

rustc_span: `Ident::invalid` -> `Ident::empty`

The equivalent for `Symbol`s was renamed some time ago (`kw::Invalid` -> `kw::Empty`), and it makes sense to do the same thing for `Ident`s as well.

Auto merge of #7832 - narpfel:implicit-saturating-sub-false-positive-else, r=giraffate

Fix false positive of `implicit_saturating_sub` with `else` clause

Fixes #7831

changelog: Fix false positive of [`implicit_saturating_sub`] with `else` clause

rustc_span: `Ident::invalid` -> `Ident::empty`

The equivalent for `Symbol`s was renamed some time ago (`kw::Invalid` -> `kw::Empty`), and it makes sense to do the same thing for `Ident`s.

Add reference to another doc with explanation

Add reference to another doc that explains which repository should be passed in this command since this is not covered in the command help itself.

Rollup merge of #89963 - r00ster91:parenthesisparentheses, r=nagisa

Some "parenthesis" and "parentheses" fixes

"Parenthesis" is the singular (e.g. one `(` or one `)`) and "parentheses" is the plural (multiple `(` or `)`s) and this is not hard to mix up so here are some fixes for that.

Inspired by #89958

Fix false positive of `implicit_saturating_sub` with `else` clause

Fixes #7831

Some "parenthesis" and "parentheses" fixes

Auto merge of #7827 - zvavybir:master, r=xFrednet

Fixed naive doc formatting for `#[must_use]` lints

The documentation of a few lints around the `#[must_use]` attribute had a few times "[`#[must_use]`]" (without the parentheses, but with the `[]`) and once the "`" was missing.

changelog: Fixed naive doc formatting for `#[must_use]` lints ([`must_use_unit`], [`double_must_use`], [`must_use_candidate`], [`let_underscore_must_use`])

Fixed naive doc formatting for `#[must_use]` lints

Auto merge of #7743 - smoelius:master, r=camsteffen

Add `format_in_format_args` and `to_string_in_format_args` lints

Fixes #7667 and #7729

I put these in `perf` since that was one of `@jplatte's` suggestions, and `redundant_clone` (which I consider to be similar) lives there as well.

However, I am open to changing the category or anything else.

r? `@camsteffen`

changelog: Add `format_in_format_args` and `to_string_in_format_args` lints

Remove redundant `to_string`s

Fix adjacent tests

Add `format_in_format_args` and `to_string_in_format_args` lints

Fixes #7667 and #7729

Auto merge of #7823 - mikerite:match-overlapping-arm-20211015, r=xFrednet

Some small improvements to the `match_overlapping_arm` tests

changelog: none

Auto merge of #7824 - dswij:unnecessary_sort_by, r=llogiq

`unnecessary_sort_by` checks if argument implements `Ord` trait

closes #7822

changelog: [`unnecessary_sort_by`] now checks if argument implements `Ord` trait

Add test on `unnecessary_sort_by` when argument does not implement `Ord`

`unnecessary_sort_by` only warns if argument impl `Ord` trait

Fix clippy with changed macro statement spans

Add unbounded pats to `match_overlapping_arm` tests

Refactor overlapping arm tests

Make the `println!`s match the patterns. Currently they are using the
deprecated syntax for inclusive ranges and extra spacing.

Auto merge of #7815 - nhamovitz:patch-1, r=giraffate

Fix typo in example for `match_result_ok`

changelog: Fix typo in example for ``[`match_result_ok`]``

Auto merge of #7805 - aDotInTheVoid:transmute-num-bits, r=camsteffen

Add lint transmute_num_to_bytes

Closes #7803

changelog: [`transmute_num_to_bytes`] new lint

Fix typo in example for `match_result_ok`

Add lint transmute_num_to_bytes

Closes #7803

changelog: [`transmute_num_to_bytes`] new lint

Auto merge of #7788 - flip1995:eq_if_let_sugg, r=giraffate

Do not expand macros in equatable_if_let suggestion

Fixes #7781

Let's use Hacktoberfest as a motivation to start contributing PRs myself again :)

changelog: [`equatable_if_let`]: No longer expands macros in the suggestion

Update clippy ui output

Auto merge of #7682 - Qwaz:uninit_vec, r=xFrednet

Implement uninit_vec lint

changelog: add the new lint [`uninit_vec`]

Fix #7681

Update lint description for new() and default()

Auto merge of #7806 - Serial-ATA:lint-match-case-mismatch, r=llogiq

Add match_str_case_mismatch lint

changelog: Added a new lint [`match_str_case_mismatch`]

Fixes #7440

Auto merge of #7808 - Veykril:patch-1, r=xFrednet

Bring [`manual_split_once`] docs in line with other lint docs

changelog: none

Add a suggestion

Auto merge of #89770 - jkugelman:must-use-from-and-into, r=joshtriplett

Add #[must_use] to From::from and Into::into

Risk of churn: **High**
Magic 8-Ball says: **Outlook not so good**

I figured I'd put this out there. If we don't do it now maybe we save it for a rainy day.

Parent issue: #89692

r? `@joshtriplett`

Bring `manual_split_once` docs in line with other lint docs

Don't run examples

Add match_str_case_mismatch lint

Auto merge of #7791 - JamesHinshelwood:reason-in-disallowed-type, r=giraffate

Allow giving reasons for `disallowed_types`

Similar to #7609 but for the `disallowed_type` lint. The permitted form of configuration is the same as for `disallowed_methods`.

changelog: Allow giving reasons for [`disallowed_type`]

Add #[must_use] to From::from and Into::into

Auto merge of #7793 - mikerite:new_lint-msrv-2, r=Manishearth

Add option to `new_lint` to generate MSRV enabled lint

changelog: none

Deprecate mem_discriminant_non_enum

This lint has been uplifted and is now included in
enum_intrinsics_non_enums.

Rename `disallowed` to `conf_disallowed`

Co-authored-by: James Hinshelwood <james.hinshelwood@bigpayme.com>

Add reason config example for disallowed_type

Co-authored-by: James Hinshelwood <james.hinshelwood@bigpayme.com>

Auto merge of #7795 - ThibsG:MutMut6922, r=giraffate

Fix FP in external macros for `mut_mut` lint

Fix FP in `mut_mut` lint when type is defined in external macros.

fixes: #6922

changelog: [`mut_mut`] Fix FP when type is defined in external macros

Auto merge of #7800 - 1nF0rmed:no-lint-in-match-single-amp, r=llogiq

Refactor `clippy::match_ref_pats` to check for multiple reference patterns

fixes #7740

When there is only one pattern, to begin with, i.e. a single deref(`&`), then in such cases we suppress `clippy::match_ref_pats`.
This is done by checking the count of the reference pattern and emitting `clippy::match_ref_pats` when more than one pattern is present.

Removed certain errors in the `stderr` tests as they would not be triggered.

changelog: Refactor `clippy::match_ref_pats` to check for multiple reference patterns

Adds additional tests for lint

Refactor to check for multiple reference patterns

Fix FP in external macros for `mut_mut` lint

Auto merge of #7794 - ThibsG:FieldReassignDefault6312, r=llogiq

Fix false positive when `Drop` and `Copy` involved in `field_reassign_with_default` lint

Fix FP in `field_reassign_with_default` lint when type implements `Drop` but not all fields are `Copy`.

fixes: #6312

changelog: [`field_reassign_with_default`] Fix FP when `Drop` and `Copy` are involved

Fix false positive when `Drop` and `Copy` involved

Address internal lints

Improved error message for set_len() on empty Vec

Add testcases

Address PR comments

Extract get_vec_init_kind and share it

Add #allow attribute to suppress FP #7698

Improve error messages

Handle PR feedbacks first round

Fix clippy lints

Implement uninit_vec lint

Use `indoc` for formatting

Fix `clippy::too-many-arguments` violation

Add `--msrv` option to `new_lint` command

Auto merge of #7789 - flip1995:double_semi_if_nothing_returned, r=camsteffen

Don't trigger semicolon_if_nothing_returned in expanded code

Fixes #7768

Before, this lint didn't trigger on macros. With rust-lang/rust#88175
this isn't enough anymore. In this PR a `WhileLoop` desugaring kind was
introduced. This overrides the span of expanded expressions when
lowering the while loop. So if a while loop is in a macro, the
expressions that it expands to are no longer marked with
`ExpnKind::Macro`, but with `ExpnKind::Desugaring`. In general, this is
the correct behavior and the same that is done for `ForLoop`s. It just
tripped up this lint.

r? `@camsteffen`

changelog: [`semicolon_if_nothing_returned`]: Fix regression on macros containing while loops

Allow giving reasons for `disallowed_types`

Co-authored-by: James Hinshelwood <james.hinshelwood@bigpayme.com>

Don't trigger semicolon_if_nothing_returned in expanded code

Before this lint didn't trigger on macros. With rust-lang/rust#88175
this isn't enough anymore. In this PR a `WhileLoop` desugaring kind was
introduced. This overrides the span of expanded expressions when
lowering the while loop. So if a while loop is in a macro, the
expressions that it expands to are no longer marked with
`ExpnKind::Macro`, but with `ExpnKind::Desugaring`. In general, this is
the correct behavior and the same that is done for `ForLoop`s. It just
tripped up this lint.

Do not expand macros in equatable_if_let suggestion

Auto merge of #7748 - Serial-ATA:lint-undocumented-unsafe, r=flip1995

Add undocumented_unsafe_blocks lint

changelog: Added a new lint [`undocumented_unsafe_blocks`]

Fixes #7464, #7238 (?)

Add undocumented_unsafe_blocks lint

Auto merge of #7705 - michaelsproul:fn_to_numeric_cast_any, r=camsteffen

Restriction lint for function pointer casts

The existing lints for function pointer casts cover the cases where a cast is non-portable or would result in truncation, however there's currently no way to forbid numeric function pointer casts entirely.

I've added a new lint `fn_to_numeric_cast_any`, which allows one to ban _all_ numeric function pointer casts, including to `usize`. This is useful if you're writing high-level Rust and want to opt-out of potentially surprising behaviour, avoiding silent bugs from forgotten parentheses, e.g.

```rust
fn foo() -> u32 {
    10
}

fn main() {
    let _ = foo as usize; // oops, forgot to call foo and got a random address instead!
}
```

~~I'm open to suggestions for the naming of the lint, because `fn_to_numeric_cast_any` is a bit clunky. Ideally I'd call this lint `fn_to_numeric_cast`, but that name is already taken for the more specific lint~~. We've stuck with `fn_to_numeric_cast_any` to avoid renaming the existing lint, or choosing a different name that's too generic (like `fn_cast`).

I'm also open to changing the suggestion behaviour, as adding parentheses is only one of many possible ways to fix the lint.

changelog: add ``[`fn_to_numeric_cast_any`]`` restriction lint