E0055

Warning name: unannotated_ffi

Unannotated FFI param type.

The FFI parameter of pointer type should be annotated with either #borrow or
#owned, the default calling convention is currently #owned and it will be
changed in the future. For the detailed meaning, checkout FFI documentation.

Erroneous example

///|
extern "c" fn _f(p : Bytes) -> Unit = "free"

Suggestion

Add the missing #borrow or #owned annotation.

///|
#borrow(p)
extern "c" fn _f(p : Bytes) -> Unit = "free"