Skip to content

Commit 5f6663e

Browse files
committed
SI-5091 Move named-args cycle test from pending to neg
There is a typechecking cycle, and since 4669ac1 we now report this in a clearer manner. Once we change the language to unconditionally interpret an assignent in argument position as a named argument would be the only way to get this over to `pos`.
1 parent 22233f4 commit 5f6663e

File tree

2 files changed

+9
-0
lines changed

2 files changed

+9
-0
lines changed

test/files/neg/t5091.check

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
t5091.scala:8: error: recursive value xxx needs type
2+
val param = bar(xxx)
3+
^
4+
t5091.scala:7: warning: type-checking the invocation of method foo checks if the named argument expression 'param = ...' is a valid assignment
5+
in the current scope. The resulting type inference error (see above) can be fixed by providing an explicit type in the local definition for param.
6+
val xxx = foo(param = null)
7+
^
8+
one warning found
9+
one error found
File renamed without changes.

0 commit comments

Comments
 (0)