tests/ui/lint/opaque-ty-ffi-unsafe.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![feature(type_alias_impl_trait)]
#![deny(improper_ctypes)]

type A = impl Fn();

#[define_opaque(A)]
pub(crate) fn ret_closure() -> A {
    || {}
}

extern "C" {
    pub(crate) fn a(_: A);
    //~^ ERROR `extern` block uses type `A`, which is not FFI-safe [improper_ctypes]
}

fn main() {}