public override ABT.Expr GetExpr(ABT.Env env) { var left = SemantExpr(this.Left, ref env); var right = SemantExpr(this.Right, ref env); right = ABT.TypeCast.MakeCast(right, left.Type); return new ABT.Assign(left, right); } }