Incorrect sizeof for typeof incomplete array

[ehaas]

typeof(const int[]) x = {1, 2};
_Static_assert(sizeof(x) == sizeof(int[2]), "");

test.c:2:16: error: invalid application of 'sizeof' to an incomplete type 'const int []'
_Static_assert(sizeof(x) == sizeof(int[2]), "");
               ^

We're incorrectly treating x as having type const int[] instead of const int[2]. I suspect we're not resolving incomplete array types correctly when indirected through typeof. const int x[] = {1, 2}; (with no typeof) works fine.

[ehaas]

This seems to be the culprit:

arocc/src/aro/Parser.zig

Lines 1821 to 1825 in aa52b23

	if (init_d.d.ty.specifier == .incomplete_array) {
	// Modifying .data is exceptionally allowed for .incomplete_array.
	init_d.d.ty.data.array.len = init_list_expr.ty.arrayLen() orelse break :init;
	init_d.d.ty.specifier = .array;
	}