#![crate_name = "foo"]
//@ has foo/fn.f.html
//@ has - '//pre[@class="rust item-decl"]' 'pub fn f(_: u8)'
pub fn f(0u8..=255: u8) {}