1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t9239/Usage.java b/test/files/pos/t9239/Usage.java
new file mode 100644
index 0000000000..d1e3fb0c3e
--- /dev/null
+++ b/test/files/pos/t9239/Usage.java
@@ -0,0 +1,15 @@
+/**
+ * Used to fail with:
+ *
+ * Usage.java:5: error: incompatible types: Baz<String> cannot be converted to Foo<String>
+ * 	  foo(f);
+ *            ^
+ */
+public class Usage {
+  public Usage() {
+	  Baz<String> f = null;
+	  foo(f);
+  }
+
+  public void foo(Foo<String> f) { };
+}