Fair 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, b

Fair 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.