test/tools/javac/generics/inference/5073060/T5073060.java

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

author
mcimadamore
date
Thu, 23 Oct 2008 18:29:11 +0100
changeset 158
c6e3fc6dda61
parent 1
9a66ca7c79fa
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

duke@1 1 /*
duke@1 2 * Copyright 2006-2007 Sun Microsystems, Inc. All Rights Reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
duke@1 7 * published by the Free Software Foundation.
duke@1 8 *
duke@1 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 13 * accompanied this code).
duke@1 14 *
duke@1 15 * You should have received a copy of the GNU General Public License version
duke@1 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 18 *
duke@1 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@1 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@1 21 * have any questions.
duke@1 22 */
duke@1 23
duke@1 24 /**
duke@1 25 * @test
duke@1 26 * @bug 5073060
duke@1 27 * @summary Package private members not found for intersection types
duke@1 28 * @compile T5073060.java
duke@1 29 */
duke@1 30
duke@1 31 public class T5073060 {
duke@1 32 static String foo;
duke@1 33 public static void main(String[] args) {
duke@1 34 C2 c2 = null;
duke@1 35 C3 c3 = null;
duke@1 36
duke@1 37 m1(c2, c3).c1m1();
duke@1 38 m1(c2, c3).i1m1();
duke@1 39 m1(c2, c3).i2m1();
duke@1 40 }
duke@1 41
duke@1 42 public static <T> T m1(T t1, T t2) {
duke@1 43 return null;
duke@1 44 }
duke@1 45
duke@1 46 class C1 { void c1m1() {} }
duke@1 47 interface I1 { void i1m1(); }
duke@1 48 interface I2 { void i2m1(); }
duke@1 49
duke@1 50 class C2 extends C1 implements I1, I2 {
duke@1 51 public void i1m1() { }
duke@1 52 public void i2m1() { }
duke@1 53 }
duke@1 54
duke@1 55 class C3 extends C1 implements I1, I2 {
duke@1 56 public void i1m1() { }
duke@1 57 public void i2m1() { }
duke@1 58 }
duke@1 59 }

mercurial