//@ compile-flags: -Znext-solver
//@ check-pass
fn test(s: &[u8]) {
match &s[0..3] {
b"uwu" => {}
_ => {}
}
fn main() {}