casts.java

public class X {
public X plus(X x) {return new X();}

}
public class casts extends groovy.lang.Script {
public static void main(java.lang.String[] args) {
new casts(new groovy.lang.Binding(args)).run();
}

public java.lang.Object run() {
java.lang.Object a = new java.util.Date();
java.util.Date d = (java.util.Date)a;



foo((java.util.Date)a);

d = ((java.util.Date)(a));

java.util.Date b = (java.util.Date)a;

a = org.codehaus.groovy.runtime.DateGroovyMethods.plus(a, 2);



X x = new X();

x = x.plus(new X());

x = x.plus(x);

print(x);

X y = true?x:new X();
return null;

}

public void foo(java.util.Date d) {}

public casts(groovy.lang.Binding binding) {
super(binding);
}
public casts() {
super();
}
}