#![feature(ffi_const, ffi_pure)]

extern "C" {
    #[unsafe(ffi_pure)] //~ ERROR `#[ffi_const]` function cannot be `#[ffi_pure]`
    #[unsafe(ffi_const)]
    pub fn baz();
}

fn main() {
    unsafe { baz() };
}