Split test case to workaround incomplete error report.

Reporting some errors prevents reporting others. This
residual issue had been lodged as SI-6758.

4 files changed, 28 insertions, 3 deletions

diff --git a/test/files/neg/t6558.check b/test/files/neg/t6558.check
index ea627b49ea..1b39ef9986 100644
--- a/test/files/neg/t6558.check
+++ b/test/files/neg/t6558.check
@@ -1,10 +1,10 @@
-t6558.scala:16: error: not found: type classs
+t6558.scala:19: error: not found: type classs
   @classs
    ^
-t6558.scala:19: error: not found: type typeparam
+t6558.scala:22: error: not found: type typeparam
   class D[@typeparam T]
            ^
-t6558.scala:22: error: not found: type valueparam
+t6558.scala:25: error: not found: type valueparam
   	@valueparam x: Any
          ^
 three errors found
diff --git a/test/files/neg/t6558.scala b/test/files/neg/t6558.scala
index cedd587c84..bdc441698f 100644
--- a/test/files/neg/t6558.scala
+++ b/test/files/neg/t6558.scala
@@ -2,12 +2,15 @@ class AnnotNotFound {
   def foo(a: Any) = ()
 
   foo {
+    // Not yet issued in the context of this file, see SI-6758
+    // This error is issued in t6558b.scala
     @inargument
     def foo = 0
     foo
   }
 
   () => {
+    // As per above
     @infunction
     def foo = 0
     ()
diff --git a/test/files/neg/t6558b.check b/test/files/neg/t6558b.check
new file mode 100644
index 0000000000..cfa384fc08
--- /dev/null
+++ b/test/files/neg/t6558b.check
@@ -0,0 +1,7 @@
+t6558b.scala:5: error: not found: type inargument
+    @inargument
+     ^
+t6558b.scala:11: error: not found: type infunction
+    @infunction
+     ^
+two errors found
diff --git a/test/files/neg/t6558b.scala b/test/files/neg/t6558b.scala
new file mode 100644
index 0000000000..2aa06f69cf
--- /dev/null
+++ b/test/files/neg/t6558b.scala
@@ -0,0 +1,15 @@
+class AnnotNotFound {
+  def foo(a: Any) = ()
+
+  foo {
+    @inargument
+    def foo = 0
+    foo
+  }
+
+  () => {
+    @infunction
+    def foo = 0
+    ()
+  }
+}