1 files changed, 29 insertions, 0 deletions
diff --git a/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala b/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
index 0f9b734..90a08e2 100644
--- a/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
+++ b/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
@@ -538,6 +538,27 @@ object SyntaxTest extends TestSuite{
           """class Runtime private
           """.stripMargin
         )
+        * - check(
+          """
+            |object System {
+            |  def a[@b T[@b V]] = 1
+            |}
+            |
+          """.stripMargin
+        )
+        * - check(
+          """class A {
+            |  null: T forSome { type T <: V }
+            |}
+          """.stripMargin
+        )
+        * - check(
+          """object U{
+            |  private val _fragment = fld(Fragment)
+            |  _fld = null
+            |}
+          """.stripMargin
+        )
       }
       'neg{
         * - checkNeg(
@@ -573,6 +594,14 @@ object SyntaxTest extends TestSuite{
             |}
           """.stripMargin
         )
+        * - checkNeg(
+          """
+            |object System {
+            |  def a[@b T[V @b]] = 1
+            |}
+            |
+          """.stripMargin
+        )
       }
     }
     def checkFile(path: String) = check(io.Source.fromFile(path).mkString)