.NET JIT compiler is not type safe