fixes #22971; `inferGenericTypes` does not work with method call syntax (#22972)

fixes #22971

1 files changed, 23 insertions, 1 deletions

diff --git a/tests/generics/treturn_inference.nim b/tests/generics/treturn_inference.nim
index fa9b70f69..331a9d4db 100644
--- a/tests/generics/treturn_inference.nim
+++ b/tests/generics/treturn_inference.nim
@@ -159,4 +159,26 @@ block:
 
   let res = doStuff()
   doAssert res.kind == Error
-  doAssert res.errVal == "Error"
\ No newline at end of file
+  doAssert res.errVal == "Error"
+
+# ufcs
+block:
+  proc getValue[T](_: string): T =
+    doAssert T is int
+    44
+  
+  proc `'test`[T](_: string): T =
+    55
+
+  let a: int = getValue("")
+  let b: int = "".getValue()
+  let c: int = "".getValue
+  let d: int = getValue ""
+  let e: int = getValue""
+  let f: int = 12345'test
+  doAssert a == 44
+  doAssert b == 44
+  doAssert c == 44
+  doAssert d == 44
+  doAssert e == 44
+  doAssert f == 55