Re: 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