Sema: implement peer type resolution of function pointers and function bodies

Closes  #13438

1 files changed, 10 insertions, 0 deletions

diff --git a/test/behavior/cast.zig b/test/behavior/cast.zig
index 07d45ad3dc..0de4b6d53e 100644
--- a/test/behavior/cast.zig
+++ b/test/behavior/cast.zig
@@ -1419,3 +1419,13 @@ test "floatToInt to zero-bit int" {
     var a: f32 = 0.0;
     comptime try std.testing.expect(@floatToInt(u0, a) == 0);
 }
+
+test "peer type resolution of function pointer and function body" {
+    if (builtin.zig_backend == .stage1) return error.SkipZigTest;
+
+    const T = fn () u32;
+    const a: T = undefined;
+    const b: *const T = undefined;
+    try expect(@TypeOf(a, b) == *const fn () u32);
+    try expect(@TypeOf(b, a) == *const fn () u32);
+}