// run-rustfix
#![warn(clippy::string_from_utf8_as_bytes)]

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