That's perfectly fine, as long as you can still get the majority of things done in a way Rust can prove. If removing a large number of possible programs reduce

That's perfectly fine, as long as you can still get the majority of things done in a way Rust can prove. If removing a large number of possible programs reduces bugs without limiting features, that seems like a win.