Rant after trying Rust a bit

[Andrei Alexandrescu via Digitalmars-d]

On 7/25/15 6:05 AM, Tofu Ninja wrote:
> 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.

I disagree. -- Andrei