Pass along location of expected type in checking().