diff options
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/tests/ui/min_rust_version_no_patch.rs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/tools/clippy/tests/ui/min_rust_version_no_patch.rs b/src/tools/clippy/tests/ui/min_rust_version_no_patch.rs deleted file mode 100644 index 98fffe1e3..000000000 --- a/src/tools/clippy/tests/ui/min_rust_version_no_patch.rs +++ /dev/null @@ -1,14 +0,0 @@ -#![allow(clippy::redundant_clone)] -#![feature(custom_inner_attributes)] -#![clippy::msrv = "1.0"] - -fn manual_strip_msrv() { - let s = "hello, world!"; - if s.starts_with("hello, ") { - assert_eq!(s["hello, ".len()..].to_uppercase(), "WORLD!"); - } -} - -fn main() { - manual_strip_msrv() -} |