wrong type in assignment.

[bgregoir]

trafficstars

The following code does not type check (typing.ml) because pretyping does not insert the good "type annotation" in the assignment. inline fn test(reg u64 buffer) -> inline int { inline int i j; i = 0; j = 1 << i; return j; }