// check-pass fn func(0u8..=255: u8) {}