> Rust and most other statically typed languages have this property.
Actually, auto traits thwart this in some places for Rust: https://rust-lang.github.io/impl-trait-initiative/explainer/....
Actually, auto traits thwart this in some places for Rust: https://rust-lang.github.io/impl-trait-initiative/explainer/....
And they were created to minimize writing down what auto traits your types implemented. You can filter by them, but they are assumed automatic bounds.
And interestingly enough Zig doesn't have this property either it leaks constness, alignment and similar info.