1 files changed, 17 insertions, 0 deletions
diff --git a/test/files/pos/propagate.scala b/test/files/pos/propagate.scala
new file mode 100644
index 0000000000..84f4f5d6d2
--- /dev/null
+++ b/test/files/pos/propagate.scala
@@ -0,0 +1,17 @@
+class C {
+
+  def f[a](x: a): a = {
+
+    class D() {
+      def g(x: a) = f(x): a;
+    }
+
+    new D().g(x);
+
+  }
+
+}
+
+
+
+