New lint: disallowed_module

[xxchan]

What it does

similar to disallowed_methods & disallowed_type

Lint Name

disallowed_module

Category

style

Advantage

No response

Drawbacks

No response

Example

<code>

Could be written as:

<code>

[chansuke]

@rustbot claim

[kraktus]

To anyone looking at implementing this lint, maybe better to wait or base it on #9495, which factors out other disallowed_type and disallowed_macro lints