[steveklabnik]

You may be interested in this post and the one it is refining: https://without.boats/blog/revisiting-a-smaller-rust/

[orangetuba]

Excellent, that's precisely the thing I was looking for! Thank you! I see that there are some tricky issues that would have to be solved with regards to ergonomy, even with an imagined subset of Rust.