TC ignores type error in dead code

Bugzilla Link	796
Created on	Dec 08, 2010 15:35
Version	svn
OS	Linux
Architecture	PC

Extended Description

In the code from the latest SAC user:
import Array: all;
import StdIO: all;
typedef int[1] array;
int main()
{
	array x;
	x = 10;
#ifndef EXCLUDE_ERRORS
	print(x);
#endif
	return(0);
}
the obvious type error goes away if x becomes dead code.
I traced this in so far as until the tc there is a proper
type conversion, which in my view should lead to an error
message, but after type checking this is gone. 
This is very counter-intuitive for the user and an error 
for me.