Commit a7cac5fc8ed2d49badc6a07ee2e4e77f4ac6e6ae | zig

author	Matthew Lugg <mlugg@mlugg.co.uk> 2024-03-05 07:27:17+00:00
committer	Matthew Lugg <mlugg@mlugg.co.uk> 2024-03-06 21:26:38+00:00
log	a7cac5fc8ed2d49badc6a07ee2e4e77f4ac6e6ae
tree	04db91090ca45afd02b3f41b5e28e7c946a444e9
parent	2c4ac44f25743f5b7ae9db6bc570ab71f15fd83b
signature	Commit is signed but in an unrecognized format.

3 files changed, 30 insertions(+), 13 deletions(-)

test/behavior/generics.zig+6-2

 @@ -371,8 +371,12 @@ test "extern function used as generic parameter" {
     const S = struct {
         extern fn usedAsGenericParameterFoo() void;
         extern fn usedAsGenericParameterBar() void;
-        inline fn usedAsGenericParameterBaz(comptime _: anytype) type {
+        inline fn usedAsGenericParameterBaz(comptime token: anytype) type {
-            return struct {};
+            return struct {
+                comptime {
+                    _ = token;
+                }
+            };
         }
     };
     try expect(S.usedAsGenericParameterBaz(S.usedAsGenericParameterFoo) !=

test/behavior/src.zig+6-2

 @@ -23,8 +23,12 @@ test "@src" {
 test "@src used as a comptime parameter" {
     const S = struct {
-        fn Foo(comptime _: std.builtin.SourceLocation) type {
+        fn Foo(comptime src: std.builtin.SourceLocation) type {
-            return struct {};
+            return struct {
+                comptime {
+                    _ = src;
+                }
+            };
         }
     };
     const T1 = S.Foo(@src());

test/behavior/typename.zig+18-9

 @@ -164,21 +164,30 @@ test "fn param" {
 }
 fn TypeFromFn(comptime T: type) type {
-    _ = T;
+    return struct {
-    return struct {};
+        comptime {
+            _ = T;
+        }
+    };
 }
 fn TypeFromFn2(comptime T1: type, comptime T2: type) type {
-    _ = T1;
+    return struct {
-    _ = T2;
+        comptime {
-    return struct {};
+            _ = T1;
+            _ = T2;
+        }
+    };
 }
 fn TypeFromFnB(comptime T1: type, comptime T2: type, comptime T3: type) type {
-    _ = T1;
+    return struct {
-    _ = T2;
+        comptime {
-    _ = T3;
+            _ = T1;
-    return struct {};
+            _ = T2;
+            _ = T3;
+        }
+    };
 }
 /// Replaces integers in `actual` with '0' before doing the test.