On Sunday, 10 March 2013 at 02:35:28 UTC, Walter Bright wrote:
On 3/9/2013 8:22 AM, monarch_dodra wrote:
Things can get evenmore hairy,when you are operating on 2
different types.
This is why complex expressions can be encapsulated as
functions.
One last thing to keep in mind is that having constraints
allows hijacking, whereas concpets/static asserts resolve as
an ambigus call.
I don't see where the hijacking comes in.
From the bad examples I think he was meaning declaring new
functions in the static_if that might not be in the other tree;
But proper use of static if doesn't cause those problems.