zig

result_type_propagation.zig (533B) - Raw

---

 const expectEqual = @import("std").testing.expectEqual;
 test "result type propagates through struct initializer" {
     const S = struct { x: u32 };
     const val: u64 = 123;
     const s: S = .{ .x = @intCast(val) };
     // .{ .x = @intCast(val) }   has result type `S` due to the type annotation
     //         @intCast(val)     has result type `u32` due to the type of the field `S.x`
     //                  val      has no result type, as it is permitted to be any integer type
     try expectEqual(@as(u32, 123), s.x);
 }
 
 // test