summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrad Lewis <22850972+BradLewis@users.noreply.github.com>2025-11-17 05:56:21 -0500
committerBrad Lewis <22850972+BradLewis@users.noreply.github.com>2025-11-17 05:56:21 -0500
commit2c192f7b69b89d4d7dc3367fe5a736c858643129 (patch)
tree17028b3fdec6cbe15b00cebc97047d116fe4516e
parent2661d6f23fb419998d64fa968a885884146792cb (diff)
Fix hover type for proc calls wrapped in parens
-rw-r--r--src/server/analysis.odin13
-rw-r--r--tests/hover_test.odin14
2 files changed, 26 insertions, 1 deletions
diff --git a/src/server/analysis.odin b/src/server/analysis.odin
index 5cd42e3..723ec85 100644
--- a/src/server/analysis.odin
+++ b/src/server/analysis.odin
@@ -1244,7 +1244,18 @@ internal_resolve_type_expression :: proc(ast_context: ^AstContext, node: ^ast.Ex
out.pointers -= 1
return ok
case ^Paren_Expr:
- return internal_resolve_type_expression(ast_context, v.expr, out)
+ ok = internal_resolve_type_expression(ast_context, v.expr, out)
+ if value, ok := out.value.(SymbolProcedureValue); ok {
+ if len(value.return_types) > 0 {
+ type := value.return_types[0].type
+ if type == nil {
+ type = value.return_types[0].default_value
+ }
+ ok = internal_resolve_type_expression(ast_context, type, out)
+ return ok
+ }
+ }
+ return ok
case ^Slice_Expr:
out^, ok = resolve_slice_expression(ast_context, v, v.expr)
return ok
diff --git a/tests/hover_test.odin b/tests/hover_test.odin
index ea27cc8..282ffb7 100644
--- a/tests/hover_test.odin
+++ b/tests/hover_test.odin
@@ -5689,6 +5689,20 @@ ast_hover_negate_function_call :: proc(t: ^testing.T) {
}
test.expect_hover(t, &source, "test.bar: bool")
}
+
+@(test)
+ast_hover_function_call_with_parens :: proc(t: ^testing.T) {
+ source := test.Source {
+ main = `package test
+ foo :: proc() -> bool {}
+
+ main :: proc() {
+ b{*}ar := (foo())
+ }
+ `,
+ }
+ test.expect_hover(t, &source, "test.bar: bool")
+}
/*
Waiting for odin fix