Added a new validity error for the case when a class relies on the other one with weaker void safety.