#![warn(clippy::string_from_utf8_as_bytes)] fn main() { let _ = Some(&"Hello World!"[6..11]); }