aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/neg/t5044.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/neg/t5044.check')
-rw-r--r--tests/untried/neg/t5044.check9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/neg/t5044.check b/tests/untried/neg/t5044.check
new file mode 100644
index 000000000..197da2a4e
--- /dev/null
+++ b/tests/untried/neg/t5044.check
@@ -0,0 +1,9 @@
+t5044.scala:7: error: recursive value a needs type
+ val id = m(a)
+ ^
+t5044.scala:6: warning: type-checking the invocation of method foo checks if the named argument expression 'id = ...' is a valid assignment
+in the current scope. The resulting type inference error (see above) can be fixed by providing an explicit type in the local definition for id.
+ val a = foo(id = 1)
+ ^
+one warning found
+one error found