From 1806830ec802feea0b89f1a71e0dc15c1507b965 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Tue, 11 Sep 2012 10:00:14 -0700
Subject: Pending test for SI-3943

---
 test/pending/pos/t3943/Outer_1.java | 14 ++++++++++++++
 test/pending/pos/t3943/test_2.scala |  8 ++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 test/pending/pos/t3943/Outer_1.java
 create mode 100644 test/pending/pos/t3943/test_2.scala

(limited to 'test/pending')

diff --git a/test/pending/pos/t3943/Outer_1.java b/test/pending/pos/t3943/Outer_1.java
new file mode 100644
index 0000000000..56c8cc7f85
--- /dev/null
+++ b/test/pending/pos/t3943/Outer_1.java
@@ -0,0 +1,14 @@
+public class Outer_1<E> {
+  abstract class Inner {
+    abstract public void foo(E e);
+  }
+}
+
+class Child extends Outer_1<String> {
+  // the implicit prefix for Inner is Outer<E> instead of Outer<String>
+  public Inner getInner() {
+    return new Inner() {
+     public void foo(String e) { System.out.println("meh "+e); }
+    };
+  }
+}
diff --git a/test/pending/pos/t3943/test_2.scala b/test/pending/pos/t3943/test_2.scala
new file mode 100644
index 0000000000..a19db8b226
--- /dev/null
+++ b/test/pending/pos/t3943/test_2.scala
@@ -0,0 +1,8 @@
+object Test extends App {
+  val x: Child = new Child
+  x.getInner.foo("meh")
+//                        ^
+// error: type mismatch;
+//  found   : java.lang.String("meh")
+//  required: E
+}
-- 
cgit v1.2.3