ReprC Box of dyn object about safer_ffi HOT 2 CLOSED

#[safer_ffi::repr(C)]
trait FooBar {
    fn method (self: &'_ mut Self, arg: Arg)
      -> R
    ;
}

#[ffi_export]
fn foobar (_: Option<c::Box<dyn FooBar>>)
{ … }

//! generated bye the annotation on `trait FooBar`'s definition

#[safer_ffi::repr(C)]
struct CBoxDynFooBar<'lt> {
    ptr: ptr::NonNull<()>,
    vtable: &'lt FooBarVTable,
}

#[safer_ffi::repr(C)]
struct FooBarVTable {
    drop_boxed: unsafe extern "C" fn(ptr::NonNull<()>),
    method: unsafe extern "C" fn(ptr::NonNull<()>, arg: <Arg as ReprC>::CType) -> <Ret as ReprC>::CType,
}