no senseless comparison for error type
supertype of error type should be an error type, not any