fix type annotation of dynamic new expressions in codegen (#30574)

JeffBezanson · web-flow · commit cf404cf67d6d · 2019-01-04T15:10:47.000-05:00
diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -4065,7 +4065,9 @@ static jl_cgval_t emit_expr(jl_codectx_t &ctx, jl_value_t *expr, ssize_t ssaval)
         }
         Value *typ = boxed(ctx, argv[0]);
         Value *val = emit_jlcall(ctx, jlnew_func, typ, &argv[1], nargs - 1);
-        return mark_julia_type(ctx, val, true, ty);
+        // temporarily mark as `Any`, expecting `emit_ssaval_assign` to update
+        // it to the inferred type.
+        return mark_julia_type(ctx, val, true, (jl_value_t*)jl_any_type);
     }
     else if (head == exc_sym) {
         return mark_julia_type(ctx,

Original file line number	Diff line number	Diff line change
`@@ -4065,7 +4065,9 @@ static jl_cgval_t emit_expr(jl_codectx_t &ctx, jl_value_t *expr, ssize_t ssaval)`
`4065`	`4065`	`}`
`4066`	`4066`	`Value *typ = boxed(ctx, argv[0]);`
`4067`	`4067`	`Value *val = emit_jlcall(ctx, jlnew_func, typ, &argv[1], nargs - 1);`
`4068`		`- return mark_julia_type(ctx, val, true, ty);`
	`4068`	+ // temporarily mark as `Any`, expecting `emit_ssaval_assign` to update
	`4069`	`+ // it to the inferred type.`
	`4070`	`+ return mark_julia_type(ctx, val, true, (jl_value_t*)jl_any_type);`
`4069`	`4071`	`}`
`4070`	`4072`	`else if (head == exc_sym) {`
`4071`	`4073`	`return mark_julia_type(ctx,`