2 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t0905.scala b/test/files/pos/t0905.scala
new file mode 100644
index 0000000000..8cd84759cf
--- /dev/null
+++ b/test/files/pos/t0905.scala
@@ -0,0 +1,6 @@
+object Test {
+  trait A[T]
+  def f(implicit p: A[T] forSome { type T } ) = null
+  implicit val x: A[T] forSome { type T } = null
+  println(f)
+}
diff --git a/test/files/run/t0911.scala b/test/files/run/t0911.scala
new file mode 100644
index 0000000000..f4d93eb571
--- /dev/null
+++ b/test/files/run/t0911.scala
@@ -0,0 +1,9 @@
+class Foo(val bar : () => String);
+
+class IP extends {
+  val baz = "bar";
+} with Foo(() => baz);
+
+object Main extends Application{
+  (new IP).bar();
+}