Merge pull request #970 from BradLewis/fix/resolve-proc-arg-bitsets-with-default-value

Correctly resolve proc default values for bitsets

2 files changed, 35 insertions, 1 deletions

diff --git a/src/server/analysis.odin b/src/server/analysis.odin
index 9672824..1f2a1c4 100644
--- a/src/server/analysis.odin
+++ b/src/server/analysis.odin
@@ -2126,7 +2126,13 @@ resolve_implicit_selector :: proc(
 						return {}, false
 					}
 
-					return resolve_type_expression(ast_context, proc_value.arg_types[parameter_index].type)
+					arg := proc_value.arg_types[parameter_index]
+					type := arg.type
+					if type == nil {
+						type = arg.default_value
+					}
+
+					return resolve_type_expression(ast_context, type)
 				} else if enum_value, ok := symbol.value.(SymbolEnumValue); ok {
 					return symbol, ok
 				}
diff --git a/tests/hover_test.odin b/tests/hover_test.odin
index c64f328..daff8e4 100644
--- a/tests/hover_test.odin
+++ b/tests/hover_test.odin
@@ -4430,6 +4430,34 @@ ast_hover_overloaded_proc_slice_dynamic_array :: proc(t: ^testing.T) {
 	}
 	test.expect_hover(t, &source, "test.foo: proc(array: $A/[dynamic]$T)")
 }
+
+
+@(test)
+ast_hover_proc_call_implicit_selector_with_default_value :: proc(t: ^testing.T) {
+	source := test.Source {
+		main     = `package test
+
+		Foo :: enum {
+			X, Y,
+		}
+
+		Option :: enum {
+			A,
+			B,
+		}
+
+		Options :: distinct bit_set[Option]
+
+		foo :: proc(options := Options{}) {
+		}
+
+		main :: proc() {
+			foo({.A, .B{*}})
+		}
+		`,
+	}
+	test.expect_hover(t, &source, "test.Option: .B")
+}
 /*
 
 Waiting for odin fix