Give a hidden warning message each time I'm inferring the type of a dot.