Commit 4b0ef6a409a11946a999e277ed2a3f4b6120d0f5 | zig

Closes #13698

2 files changed, 14 insertions(+), 2 deletions(-)

src/Sema.zig+2-2

...	...	@@ -17613,11 +17613,11 @@ fn zirFieldType(sema: Sema, block: Block, inst: Zir.Inst.Index) CompileError!A
17613	17613	const inst_data = sema.code.instructions.items(.data)[inst].pl_node;
17614	17614	const extra = sema.code.extraData(Zir.Inst.FieldType, inst_data.payload_index).data;
17615	17615	const ty_src = inst_data.src();
17616		const field_src = inst_data.src();
	17616	const field_name_src: LazySrcLoc = .{ .node_offset_field_name = inst_data.src_node };
17617	17617	const aggregate_ty = try sema.resolveType(block, ty_src, extra.container_type);
17618	17618	if (aggregate_ty.tag() == .var_args_param) return sema.addType(aggregate_ty);
17619	17619	const field_name = sema.code.nullTerminatedString(extra.name_start);
17620		return sema.fieldType(block, aggregate_ty, field_name, field_src, ty_src);
	17620	return sema.fieldType(block, aggregate_ty, field_name, field_name_src, ty_src);
17621	17621	}
17622	17622
17623	17623	fn fieldType(

test/cases/compile_errors/invalid_field_in_struct_value_expression.zig+12

...	...	@@ -12,9 +12,21 @@ export fn f() void {
12	12	_ = a;
13	13	}
14	14
	15	const Object = struct {
	16	field_1: u32,
	17	field_2: u32,
	18	};
	19	fn dump(_: Object) void {}
	20	pub export fn entry() void {
	21	dump(.{ .field_1 = 123, .field_3 = 456 });
	22	}
	23
	24
15	25	// error
16	26	// backend=stage2
17	27	// target=native
18	28	//
19	29	// :10:10: error: no field named 'foo' in struct 'tmp.A'
20	30	// :1:11: note: struct declared here
	31	// :21:30: error: no field named 'field_3' in struct 'tmp.Object'
	32	// :15:16: note: struct declared here