Posted: Mar 22, 2012 12:45 pm
by VazScep
Thinking about this again, I think I might have understood how concept checking works.

I guess the idea is this: when I come to instantiate bar with something that is not a FooConcept, it will fail during instantiation of foo and report this. If I put the requirement on the bar template, then it will fail during instantiation of bar with the same error?