Name: ###@###.### Date: 09/05/96

the compiler determines the type of shift expressions
             in accordance with the rules of binary promotion
             (Java Language Specification, section 5.6.2). This contradicts
             the following assertion:

             Binary numeric promotion (section 5.6.2) is not performed on
             the operands; rather, unary numeric promotion (section 5.6.1)
             is performed on each operand separately. The type of the shift
             expression is the promoted type of the left-hand operand.

             (Java Language Specification, section 15.18)

Tests: compilation of the following test:

public class test
{
public static void main(String argv[])
{
int i = 1, j;

j = i << 1l;
System.out.println(j);
j = ++i >> 1l;
System.out.println(j);
j = ++i >>> 1l;
System.out.println(j);
}
}

produces such error diagnostics:

novo40% javac test.java
test.java:7: Incompatible type for =. Explicit cast needed to convert long to int.
j = i << 1l;
^
test.java:9: Incompatible type for =. Explicit cast needed to convert long to int.
j = ++i >> 1l;
^
test.java:11: Incompatible type for =. Explicit cast needed to convert long to int.
j = ++i >>> 1l;
^
3 errors

======================================================================