Sorry my too late reply. Yes, I think template constraint is one of the compile-time evaluated condition.