typedef laxity

[Larry Campbell]

It seems to me someone should complain about this code:

	typedef int TEMPERATURE;
	typedef int PRESSURE;

	TEMPERATURE tx, ty;
	PRESSURE px, py;

	ty = py;		/* type clash */

But none of the compilers I've tested (pcc, VAX-11 C, Wang VS C, Turbo C)
complain about it, and, even worse, _lint_ doesn't complain!

Does anyone know of a lint or compiler that will complain about it?
Does anyone disagree that lint's silence in this case is a bug?
(Especially since lint does complain about mixing enum types...)
-- 
Larry Campbell                                The Boston Software Works, Inc.
Internet: campbell at maynard.bsw.com          120 Fulton Street, Boston MA 02109
uucp: {husc6,mirror,think}!maynard!campbell         +1 617 367 6846