diff options
| -rw-r--r-- | src/Sema.zig | 7 | ||||
| -rw-r--r-- | test/behavior/eval.zig | 15 |
2 files changed, 22 insertions, 0 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 4b37fc603a..454722728b 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -27404,6 +27404,13 @@ fn analyzeRef( const operand_ty = sema.typeOf(operand); if (try sema.resolveMaybeUndefVal(operand)) |val| { + switch (val.tag()) { + .extern_fn, .function => { + const decl_index = val.pointerDecl().?; + return sema.analyzeDeclRef(decl_index); + }, + else => {}, + } var anon_decl = try block.startAnonDecl(); defer anon_decl.deinit(); return sema.analyzeDeclRef(try anon_decl.finish( diff --git a/test/behavior/eval.zig b/test/behavior/eval.zig index cd0891990c..145be9dede 100644 --- a/test/behavior/eval.zig +++ b/test/behavior/eval.zig @@ -1507,3 +1507,18 @@ test "inline call in @TypeOf inherits is_inline property" { }; try expect(S.T == void); } + +test "comptime function turns function value to function pointer" { + const S = struct { + fn fnPtr(function: anytype) *const @TypeOf(function) { + return &function; + } + fn Nil() u8 { + return 0; + } + const foo = &[_]*const fn () u8{ + fnPtr(Nil), + }; + }; + comptime try expect(S.foo[0] == &S.Nil); +} |