Rust restricts compile time code to what t can prove. Exactly! That's a feature. Rust is a step forward to a future where code is based on sound theory (type T

Rust restricts compile time code to what t can prove. Exactly! That's a feature. Rust is a step forward to a future where code is based on sound theory (type Theory) not on some ad-hoc "seems to be working" basis.