public Return(Expr e) { this.e = e; if (Type.unify(method.getReturnType(), e.getType()) != method.getReturnType()) throw new IllegalArgumentException("type mismatch"); }