2 files changed, 29 insertions, 0 deletions
diff --git a/tests/pending/neg/tate.scala b/tests/pending/neg/tate.scala
new file mode 100644
index 000000000..d626ccd3f
--- /dev/null
+++ b/tests/pending/neg/tate.scala
@@ -0,0 +1,11 @@
+trait Out[+T]
+
+object Test {
+
+  def foo[T <% AnyRef](x: T) = ???
+
+  var x: Out[_ >: String] = ???
+  var y: Out[String] = ???
+  x = y // should give error, but currently masked by covariant alias representation
+ // y = x
+}
diff --git a/tests/pending/pos/lazyvals.scala b/tests/pending/pos/lazyvals.scala
new file mode 100644
index 000000000..93a82cd0c
--- /dev/null
+++ b/tests/pending/pos/lazyvals.scala
@@ -0,0 +1,18 @@
+
+
+trait Iterator {
+
+  def span() = {
+    val self: Int = 33
+    class Leading {
+      def finish(): Unit = println("finished")
+    }
+    val leading = new Leading
+
+    class Trailing {
+      @volatile lazy val it = leading.finish()
+    }
+    val trailing = new Trailing
+    (leading, trailing)
+  }
+}