Reply to Nick, > Hmm, but I guess it does allow "match/not-match" to > be determined by arbitrary compile-time expressions. Is there another > benefit to the constraints that I'm missing? > Not that I know of (but that says very little :). It might be a good rule of thumb to never directly use the simple is(T:U) in a template constraint.