1/* 2 * Copyright (c) 2003, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 24/* 25 * @test 26 * @summary Test subtyping for wildcards with the same type bound. 27 * 28 * @compile/fail/ref=AssignmentSameType.out -XDrawDiagnostics AssignmentSameType.java 29 */ 30 31public class AssignmentSameType { 32 33 public static void main(String[] args) { 34 Ref<B> exact = null; 35 Ref<? extends B> ebound = null; 36 Ref<? super B> sbound = null; 37 Ref<?> unbound = null; 38 39; exact = exact; // <<pass>> <A> = <A> 40 41 ebound = exact; // <<pass>> <? extends A> = <A> 42 ebound = ebound; // <<pass>> <? extends A> = <? extends A> 43 44 sbound = exact; // <<pass>> <? super A> = <A> 45 sbound = sbound; // <<pass>> <? super A> = <? super A> 46 47 unbound = exact; // <<pass>> <?> = <A> 48 unbound = ebound; // <<pass>> <?> = <? extends A> 49 unbound = sbound; // <<pass>> <?> = <? super A> 50 unbound = unbound; // <<pass>> <?> = <?> 51 52 exact = ebound; // <<fail>> <A> = <? extends A> 53 exact = sbound; // <<fail>> <A> = <? super A> 54 exact = unbound; // <<fail>> <A> = <?> 55 ebound = sbound; // <<fail>> <? extends A> = <? super A> 56 ebound = unbound; // <<fail>> <? extends A> = <?> 57 sbound = ebound; // <<fail>> <? super A> = <? extends A> 58 sbound = unbound; // <<fail>> <? super A> = <?> 59 } 60} 61 62class Ref<A> {} 63class B {} 64