Fix problems with lazy vals and separate compilation

Somehow this error manifested itself in a quite weird way during erasure.
So it was hard to track down

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/pos/lazyValsSepComp.scala b/tests/pos/lazyValsSepComp.scala
new file mode 100644
index 000000000..337447280
--- /dev/null
+++ b/tests/pos/lazyValsSepComp.scala
@@ -0,0 +1,16 @@
+package dotty.tools
+package io
+
+import java.io.{ InputStream }
+import java.util.jar.JarEntry
+import dotty.tools.dotc.core.Definitions
+import language.postfixOps
+import dotty.tools.dotc.core.Contexts._
+
+
+/** A test to trigger issue with separate compilation between Dotty and Scalac and lazy vals */
+object Foo {
+  val definitions: Definitions = null
+  def defn = definitions
+  def go = defn.FunctionClass(0)
+}