Rant after trying Rust a bit

[Tofu Ninja via Digitalmars-d]

On Saturday, 25 July 2015 at 09:40:52 UTC, Walter Bright wrote:
> if the template body uses an interface not present in the type 
> and not checked for in the constraint, you will *still* get a 
> compile time error.

But only if the template gets instantiated with a bad type. Unit 
tests don't catch every thing and have to be written properly. A 
proper type system should catch it.