jdk-sandbox: langtools/test/tools/javac/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTesta.java@08b586e22328 (annotated)

24226 08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	1	/*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	2	* Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	4	*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	7	* published by the Free Software Foundation. Oracle designates this
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	8	* particular file as subject to the "Classpath" exception as provided
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	9	* by Oracle in the LICENSE file that accompanied this code.
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	10	*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	11	* This code is distributed in the hope that it will be useful, but WITHOUT
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	12	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	13	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	14	* version 2 for more details (a copy is included in the LICENSE file that
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	15	* accompanied this code).
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	16	*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	17	* You should have received a copy of the GNU General Public License version
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	18	* 2 along with this work; if not, write to the Free Software Foundation,
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	19	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	20	*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	21	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	22	* or visit www.oracle.com if you need additional information or have any
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	23	* questions.
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	24	*/
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	25
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	26	/*
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	27	* @test
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	28	* @bug 8030741
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	29	* @summary Inference: implement eager resolution of return types, consistent with JDK-8028800
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	30	* @compile EagerReturnTypeResolutionTesta.java
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	31	*/
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	32
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	33	public class EagerReturnTypeResolutionTesta {
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	34
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	35	abstract class Test1<T>{
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	36	abstract <S> S foo(S x, S y);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	37	<S extends Number & Comparable<? extends Number>> void baz(Test1<S> a){}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	38
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	39	void bar(Test1<Long> x, Test1<Integer> y){
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	40	baz(foo(x, y));
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	41	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	42	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	43
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	44	abstract class Test2<T>{
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	45	abstract <S> S foo(S x, S y);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	46	abstract <S1> void baz(Test2<S1> a);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	47
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	48	void bar(Test2<Integer> y, Test2<Long> x){
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	49	baz(foo(x, y));
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	50	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	51	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	52
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	53	abstract class Test3<T>{
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	54	abstract <S> S foo(S x, S y);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	55	<T extends Number & Comparable<?>,
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	56	S extends Number & Comparable<? extends T>> void baz(Test3<S> a){}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	57
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	58	void bar(Test3<Long> x, Test3<Integer> y){
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	59	baz(foo(x, y));
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	60	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	61	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	62
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	63	abstract class Test4 {
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	64	abstract class A0<T> {}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	65
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	66	abstract class A1<T> extends A0<T> {}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	67
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	68	abstract class A2<T> extends A0<T> {}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	69
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	70	abstract <S> S foo(S x, S y);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	71	abstract <S1> void baz(A0<S1> a);
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	72
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	73	void bar(A2<Integer> y, A1<Long> x){
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	74	baz(foo(x, y));
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	75	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	76	}
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	77
08b586e22328 8030741: Inference: implement eager resolution of return types, consistent with JDK-8028800 vromero parents: diff changeset	78	}

author	vromero
	Thu, 01 May 2014 20:36:11 +0100
changeset 24226	08b586e22328
permissions	-rw-r--r--