Is not the Pony c-ffi, while allowing theoretically the same unsafety, more uncontrolled than rust's "unsafe"? As in the latter case, as I have understood it, y

Is not the Pony c-ffi, while allowing theoretically the same unsafety, more uncontrolled than rust's "unsafe"? As in the latter case, as I have understood it, you get all the normal rust type checking, except for some pointer ownership exceptions. I have not explored either of the languages too the extent that I needed to use either.