Implement safety check for default values and special types.