Trying to understand: what’s to prevent someone from calling an FFI-defined function on a free type without going through the whole linear types rigmarole? E.g.

Trying to understand: what’s to prevent someone from calling an FFI-defined function on a free type without going through the whole linear types rigmarole? E.g. could I call `fopen` and `fclose` directly to circumvent the whole `File` interface? I’m sure there’s a good answer. This is a really cool and impressive project. EDIT: Ah, just got to the section on "The FFI Boundary". Makes sense!