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

test/tools/javac/diags/examples/CyclicInference.java@7873d37f5b37 (annotated)

test/tools/javac/diags/examples/CyclicInference.java

Mon, 21 Jan 2013 20:13:56 +0000

author

mcimadamore

date

Mon, 21 Jan 2013 20:13:56 +0000

changeset 1510

7873d37f5b37

parent 1415

01c9d4161882

permissions

-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@1348	1	/*
mcimadamore@1348	2	* Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1348	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1348	4	*
mcimadamore@1348	5	* This code is free software; you can redistribute it and/or modify it
mcimadamore@1348	6	* under the terms of the GNU General Public License version 2 only, as
mcimadamore@1348	7	* published by the Free Software Foundation.
mcimadamore@1348	8	*
mcimadamore@1348	9	* This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1348	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1348	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1348	12	* version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1348	13	* accompanied this code).
mcimadamore@1348	14	*
mcimadamore@1348	15	* You should have received a copy of the GNU General Public License version
mcimadamore@1348	16	* 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1348	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1348	18	*
mcimadamore@1348	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1348	20	* or visit www.oracle.com if you need additional information or have any
mcimadamore@1348	21	* questions.
mcimadamore@1348	22	*/
mcimadamore@1348	23
mcimadamore@1510	24	// key: compiler.err.prob.found.req
mcimadamore@1348	25	// key: compiler.misc.cyclic.inference
mcimadamore@1348	26
mcimadamore@1348	27	class CyclicInference {
mcimadamore@1348	28	interface SAM<X> {
mcimadamore@1348	29	void m(X x);
mcimadamore@1348	30	}
mcimadamore@1348	31
mcimadamore@1348	32	<Z> void g(SAM<Z> sz) { }
mcimadamore@1348	33
mcimadamore@1348	34	void test() {
mcimadamore@1348	35	g(x-> {});
mcimadamore@1348	36	}
mcimadamore@1348	37	}