if() in template constraints are similar, so it is nothing shockingly out of character. They are not free floating either as they are part of the function definition
you know the old saying... what happens in vegas stays in vegas... well... the same should be said for template programming. what happens in templates, should stay in templates.
