class WebService {
void setEmail(ValidEmail email)
{
// email is enforced to be valid here
}
void updateProfileInfo(Nullable!ValidEmail email, Nullable!string full_name)
{
// email is optional, but always valid
// full_name is optional and not validated
}
}
Validated e-mail parameter type.