public override ABT.Expr GetExpr(ABT.Env env) { ABT.ExprType type = Semant(this.TypeName.GetExprType, ref env); ABT.Expr expr = this.Expr.GetExpr(env); return ABT.TypeCast.MakeCast(expr, type); } }