this.body=body;
}
public static Cast create(Type type, Expression body) {
Type bt=body.getType();
if (bt.intersection(type)==Nothing.INSTANCE) {
throw new KissException("Can't cast type "+bt+" to "+type);
}
return new Cast(type,body.specialise(type));
}