diff options
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/tests/ui/min_rust_version_no_patch.rs | 14 |
1 files changed, 14 insertions, 0 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 new file mode 100644 index 000000000..98fffe1e3 --- /dev/null +++ b/src/tools/clippy/tests/ui/min_rust_version_no_patch.rs @@ -0,0 +1,14 @@ +#![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() +} |