Constraint on template parameters vs compile time error