So Inform7 like languages generating Rust code and then binary code and linked against the OS.

They will skip the generating Rust code part, from my point of view.