--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/langtools/test/tools/javac/generics/wildcards/AssignmentSameType.java	Fri May 15 16:18:16 2015 -0700
@@ -0,0 +1,63 @@
+/*
+ * Copyright (c) 2003, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
+ * or visit www.oracle.com if you need additional information or have any
+ * questions.
+ */
+
+/*
+ * @test
+ * @summary Test subtyping for wildcards with the same type bound.
+ *
+ * @compile/fail/ref=AssignmentSameType.out -XDrawDiagnostics AssignmentSameType.java
+ */
+
+public class AssignmentSameType {
+
+    public static void main(String[] args) {
+        Ref<B> exact = null;
+        Ref<? extends B> ebound = null;
+        Ref<? super B> sbound = null;
+        Ref<?> unbound = null;
+
+;       exact = exact;          // <<pass>> <A> = <A>
+
+        ebound = exact;         // <<pass>> <? extends A> = <A>
+        ebound = ebound;        // <<pass>> <? extends A> = <? extends A>
+
+        sbound = exact;         // <<pass>> <? super A> = <A>
+        sbound = sbound;        // <<pass>> <? super A> = <? super A>
+
+        unbound = exact;        // <<pass>> <?> = <A>
+        unbound = ebound;       // <<pass>> <?> = <? extends A>
+        unbound = sbound;       // <<pass>> <?> = <? super A>
+        unbound = unbound;      // <<pass>> <?> = <?>
+
+        exact = ebound;         // <<fail>> <A> = <? extends A>
+        exact = sbound;         // <<fail>> <A> = <? super A>
+        exact = unbound;        // <<fail>> <A> = <?>
+        ebound = sbound;        // <<fail>> <? extends A> = <? super A>
+        ebound = unbound;       // <<fail>> <? extends A> = <?>
+        sbound = ebound;        // <<fail>> <? super A> = <? extends A>
+        sbound = unbound;       // <<fail>> <? super A> = <?>
+    }
+}
+
+class Ref<A> {}
+class B {}

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/langtools/test/tools/javac/generics/wildcards/AssignmentSameType.out	Fri May 15 16:18:16 2015 -0700
@@ -0,0 +1,8 @@
+AssignmentSameType.java:52:17: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ? extends B>, Ref<B>)
+AssignmentSameType.java:53:17: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ? super B>, Ref<B>)
+AssignmentSameType.java:54:17: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ?>, Ref<B>)
+AssignmentSameType.java:55:18: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ? super B>, Ref<? extends B>)
+AssignmentSameType.java:56:18: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ?>, Ref<? extends B>)
+AssignmentSameType.java:57:18: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ? extends B>, Ref<? super B>)
+AssignmentSameType.java:58:18: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Ref<compiler.misc.type.captureof: 1, ?>, Ref<? super B>)
+7 errors