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

test/tools/javac/generics/6294779/T6294779b.java@c6e3fc6dda61 (annotated)

test/tools/javac/generics/6294779/T6294779b.java

Thu, 23 Oct 2008 18:29:11 +0100

author

mcimadamore

date

Thu, 23 Oct 2008 18:29:11 +0100

changeset 158

c6e3fc6dda61

parent 59

4a3b9801f7a0

child 554

9d9f26857129

permissions

-rw-r--r--

6557954: Inner class type parameters doesn't get substituted when checking type well-formedness
Summary: Validator.visitTypeApply should substitute all formal typevars with actual parameters
Reviewed-by: jjg

mcimadamore@59	1	/*
mcimadamore@59	2	* Copyright 2008 Sun Microsystems, Inc. All Rights Reserved.
mcimadamore@59	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@59	4	*
mcimadamore@59	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@59	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@59	7	* published by the Free Software Foundation.
mcimadamore@59	8	*
mcimadamore@59	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@59	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@59	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@59	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@59	13	* accompanied this code).
mcimadamore@59	14	*
mcimadamore@59	15	* You should have received a copy of the GNU General Public License version
mcimadamore@59	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@59	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@59	18	*
mcimadamore@59	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
mcimadamore@59	20	* CA 95054 USA or visit www.sun.com if you need additional information or
mcimadamore@59	21	* have any questions.
mcimadamore@59	22	*/
mcimadamore@59	23
mcimadamore@59	24	/*
mcimadamore@59	25	* @test
mcimadamore@59	26	* @bug 6294779
mcimadamore@59	27	* @summary Problem with interface inheritance and covariant return types
mcimadamore@59	28	* @author Maurizio Cimadamore
mcimadamore@59	29	* @compile T6294779b.java
mcimadamore@59	30	*/
mcimadamore@59	31
mcimadamore@59	32	import java.util.*;
mcimadamore@59	33
mcimadamore@59	34	class T6294779b {
mcimadamore@59	35
mcimadamore@59	36	interface I1<E> {
mcimadamore@59	37	List<E> m();
mcimadamore@59	38	}
mcimadamore@59	39
mcimadamore@59	40	interface I2<E> {
mcimadamore@59	41	Queue<E> m();
mcimadamore@59	42	}
mcimadamore@59	43
mcimadamore@59	44	interface I3<E> {
mcimadamore@59	45	LinkedList<E> m();
mcimadamore@59	46	}
mcimadamore@59	47
mcimadamore@59	48	interface I4<E> extends I1<E>, I2<E>, I3<E> {}
mcimadamore@59	49	}