diff options
Diffstat (limited to 'clippy_lints/src/ptr_offset_with_cast.rs')
| -rw-r--r-- | clippy_lints/src/ptr_offset_with_cast.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_lints/src/ptr_offset_with_cast.rs b/clippy_lints/src/ptr_offset_with_cast.rs index cfb5287c667..964564b5794 100644 --- a/clippy_lints/src/ptr_offset_with_cast.rs +++ b/clippy_lints/src/ptr_offset_with_cast.rs @@ -38,6 +38,7 @@ declare_clippy_lint! { /// ptr.add(offset); /// } /// ``` + #[clippy::version = "1.30.0"] pub PTR_OFFSET_WITH_CAST, complexity, "unneeded pointer offset cast" |