4 ms·
> 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/imp
by chrismorgan 8mo ago
> 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/auto_trait.html https://rust-lang.github.io/impl-trait-initiative/explainer/....
- Ygg2 8mo agoFair point but auto traits are already leaky. 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.