Re: [boost] [contract] concept error messages

Subject: Re: [boost] [contract] concept error messages
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-05 20:23:45

> One point of discussion is: In case a type doesn't model a concept,
> should the compiler generate an hard error or the function/class
> template should simply be removed from the overload/specialization
> set?

I think it's best to remove templates from the overload set or
specialization matching. In other words, check constraints early and
check constraints often. You should only really get "hard" concept
errors when you actually end up trying to use a bad overload or
specialization.

Andrew