tests/target/issue-3845.rs

fn main() {
    || {
        #[allow(deprecated)]
        {
            u8::max_value()
        }
    };
}