jdk-sandbox: langtools/test/tools/javac/diags/examples/CantApplyDiamond1.java@c7ec7facdd20 (annotated)

12334 29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	1	/*
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	2	* Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	4	*
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	7	* published by the Free Software Foundation.
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	8	*
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	9	* This code is distributed in the hope that it will be useful, but WITHOUT
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	12	* version 2 for more details (a copy is included in the LICENSE file that
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	13	* accompanied this code).
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	14	*
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	15	* You should have received a copy of the GNU General Public License version
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	16	* 2 along with this work; if not, write to the Free Software Foundation,
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	18	*
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	20	* or visit www.oracle.com if you need additional information or have any
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	21	* questions.
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	22	*/
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	23
13438 83729994273a 7175911: Simplify error reporting API in Check.CheckContext interface mcimadamore parents: 12915 diff changeset	24	// key: compiler.err.prob.found.req
12334 29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	25	// key: compiler.misc.cant.apply.diamond.1
12915 28cf1e0dafdc 7166552: Inference: cleanup usage of Type.ForAll mcimadamore parents: 12468 diff changeset	26	// key: compiler.misc.inferred.do.not.conform.to.upper.bounds
12334 29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	27	// key: compiler.misc.diamond
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	28
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	29	class CantApplyDiamond1<X> {
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	30
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	31	CantApplyDiamond1(CantApplyDiamond1<? super X> lz) { }
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	32
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	33	void test(CantApplyDiamond1<Integer> li) {
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	34	CantApplyDiamond1<String> ls = new CantApplyDiamond1<>(li);
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	35	}
29e1bfdcba4e 7151492: Encapsulate check logic into Attr.ResultInfo mcimadamore parents: diff changeset	36	}

author	mcimadamore
	Fri, 05 Oct 2012 14:35:24 +0100
changeset 14058	c7ec7facdd20
parent 13438	83729994273a
child 15717	ab55670d2e62
permissions	-rw-r--r--