make typeof accept symchoices [backport:2.0]

refs nim-lang#24002

compiler/semexprs.nim

@@ -144,7 +144,7 @@ proc semSymChoice(c: PContext, n: PNode, flags: TExprFlags = {}, expectedType: P
   if isSymChoice(result) and result.len == 1:
     # resolveSymChoice can leave 1 sym
     result = result[0]
-  if isSymChoice(result) and efAllowSymChoice notin flags:
+  if isSymChoice(result) and {efAllowSymChoice, efInTypeof} * flags == {}:
     var err = "ambiguous identifier: '" & result[0].sym.name.s &
       "' -- use one of the following:\n"
     for child in n:

tests/lookups/t24002.nim

@@ -0,0 +1,22 @@
+discard """
+  action: compile # for now just test that it compiles
+"""
+
+# issue #24002
+
+type Result[T, E] = object
+
+func value*[T, E](self: Result[T, E]): T {.inline.} =
+  discard
+
+func value*[T: not void, E](self: var Result[T, E]): var T {.inline.} =
+  discard
+
+template unrecognizedFieldWarning =
+  echo typeof value
+
+proc readValue*(value: var int) =
+  unrecognizedFieldWarning()
+
+var foo: int
+readValue(foo)