A subset of it, yes. Any dynamic memory allocation is out, which would pare it down heavily, but you can still reap the safety advantages with the static stuff.

Rust happens to have already defined a subset of itself that forbids dynamic memory allocation, which makes use of a pared-down standard library called libcore.

Awesome! I figured such a thing would exist eventually but didn't realize it was already in the wild.

I definitely don't see a problem telling people the plane was built with rust