• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/generics/inference/6650759/T6650759b.java@6f0ed5a89c25 (annotated)

test/tools/javac/generics/inference/6650759/T6650759b.java

Wed, 11 Apr 2012 10:50:11 +0100

author

mcimadamore

date

Wed, 11 Apr 2012 10:50:11 +0100

changeset 1251

6f0ed5a89c25

parent 554

9d9f26857129

child 2525

2eb010b6cb22

permissions

-rw-r--r--

7154127: Inference cleanup: remove bound check analysis from visitors in Types.java
Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith

mcimadamore@396	1	/*
ohair@554	2	* Copyright (c) 2009, Oracle and/or its affiliates. All rights reserved.
mcimadamore@396	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@396	4	*
mcimadamore@396	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@396	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@396	7	* published by the Free Software Foundation.
mcimadamore@396	8	*
mcimadamore@396	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@396	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@396	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@396	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@396	13	* accompanied this code).
mcimadamore@396	14	*
mcimadamore@396	15	* You should have received a copy of the GNU General Public License version
mcimadamore@396	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@396	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@396	18	*
ohair@554	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554	20	* or visit www.oracle.com if you need additional information or have any
ohair@554	21	* questions.
mcimadamore@396	22	*/
mcimadamore@396	23
mcimadamore@396	24	/*
mcimadamore@396	25	* @test
mcimadamore@396	26	* @bug 6650759
mcimadamore@396	27	* @author mcimadamore
mcimadamore@396	28	* @summary Inference of formal type parameter (unused in formal parameters) is not performed
mcimadamore@396	29	* @compile T6650759b.java
mcimadamore@396	30	*/
mcimadamore@396	31
mcimadamore@396	32	public class T6650759b {
mcimadamore@396	33
mcimadamore@396	34	interface A<X extends A<X, Y>, Y extends B<X>> {}
mcimadamore@396	35
mcimadamore@396	36	static class B<X extends A<X, ?>> {}
mcimadamore@396	37
mcimadamore@396	38	interface C<X extends A<X, Y>, Y extends B<X>> {}
mcimadamore@396	39
mcimadamore@396	40	interface D<X extends A<X, Y>, Y extends B<X>> {}
mcimadamore@396	41
mcimadamore@396	42	static class E<X extends A<X, Y>, Y extends B<X>, W extends C<X, Y>> implements D<X, Y> {
mcimadamore@396	43
mcimadamore@396	44	static <X extends A<X, Y>, Y extends B<X>, W extends C<X, Y>> D<X, Y> of(W w) {
mcimadamore@396	45	return null;
mcimadamore@396	46	}
mcimadamore@396	47	}
mcimadamore@396	48
mcimadamore@396	49	<X extends A<X, Y>, Y extends B<X>, W extends C<X, Y>, Z extends D<X, Y>> Z test(W w) {
mcimadamore@396	50	return (Z) E.of(w);
mcimadamore@396	51	}
mcimadamore@396	52	}