comp. type checks