dump dot type checks