I don't think it makes sense to build this functionality into the language or compiler directly, at least not at this time. However, it certainly makes a lot of

I don't think it makes sense to build this functionality into the language or compiler directly, at least not at this time. However, it certainly makes a lot of sense to have tooling that uses annotations like that to generate safer Rust bindings than just the raw function declaration.