diff options
| author | Simon Farnsworth <simon@farnz.org.uk> | 2020-04-02 14:30:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-02 14:30:13 +0100 |
| commit | 5f8b696e2e76374fe600ee0f0e444e94215239b6 (patch) | |
| tree | 92668cf8889427d7b5f940f0943e1f186f16b233 | |
| parent | 50ecc1254130d0d69a968f99c1aa8b150bf1662e (diff) | |
| download | rust-5f8b696e2e76374fe600ee0f0e444e94215239b6.tar.gz rust-5f8b696e2e76374fe600ee0f0e444e94215239b6.zip | |
Update clippy_lints/src/types.rs
Co-Authored-By: Philipp Krones <hello@philkrones.com>
| -rw-r--r-- | clippy_lints/src/types.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs index 50a64516e4b..8c151f2277c 100644 --- a/clippy_lints/src/types.rs +++ b/clippy_lints/src/types.rs @@ -124,7 +124,6 @@ declare_clippy_lint! { /// Contents::None /// } /// ``` - /// pub OPTION_OPTION, pedantic, "usage of `Option<Option<T>>`" |