Is there a requirement that the default be a deterministic value? Yes, where it was used in a computed column, it seems that it would be wrong by the rules, (and this case sort of shows why), but it should be allowed in the default clause. Backward compatibility is always an issue when thinking of fixing this sort of bug.