Merge pull request #1997 from dotty-staging/fix-#1992

Fix off-by-one error in forward reference checking

2 files changed, 16 insertions, 0 deletions

diff --git a/tests/neg/i1992.scala b/tests/neg/i1992.scala
new file mode 100644
index 000000000..818b46771
--- /dev/null
+++ b/tests/neg/i1992.scala
@@ -0,0 +1,9 @@
+object Test {
+  def main(args: Array[String]) = {
+    val x: Int => Unit =
+      y => println(x) // error: `x` is a forward reference
+    implicit val z: String => Unit =
+      y => println(implicitly[String => Unit]) // error: `z` is a forward reference
+  }
+}
+
diff --git a/tests/neg/i2005.scala b/tests/neg/i2005.scala
new file mode 100644
index 000000000..fc2e4ddec
--- /dev/null
+++ b/tests/neg/i2005.scala
@@ -0,0 +1,7 @@
+
+object Test {
+  val a = 42
+  def main(args: Array[String]) = {
+    val a: Int = a // error
+  }
+}