test/tools/javac/lambda/MethodReference60.java

Tue, 12 Mar 2013 16:02:43 +0000

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 1496
f785dcac17b7
child 2227
998b10c43157
permissions
-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

mcimadamore@1496 1 /*
mcimadamore@1496 2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1496 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1496 4 *
mcimadamore@1496 5 * This code is free software; you can redistribute it and/or modify it
mcimadamore@1496 6 * under the terms of the GNU General Public License version 2 only, as
mcimadamore@1496 7 * published by the Free Software Foundation.
mcimadamore@1496 8 *
mcimadamore@1496 9 * This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1496 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1496 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1496 12 * version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1496 13 * accompanied this code).
mcimadamore@1496 14 *
mcimadamore@1496 15 * You should have received a copy of the GNU General Public License version
mcimadamore@1496 16 * 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1496 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1496 18 *
mcimadamore@1496 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1496 20 * or visit www.oracle.com if you need additional information or have any
mcimadamore@1496 21 * questions.
mcimadamore@1496 22 */
mcimadamore@1496 23
mcimadamore@1496 24 /*
mcimadamore@1496 25 * @test
mcimadamore@1496 26 * @bug 8004102
mcimadamore@1496 27 * @summary Add support for array constructor references
mcimadamore@1496 28 * @compile/fail/ref=MethodReference60.out -XDrawDiagnostics MethodReference60.java
mcimadamore@1496 29 */
mcimadamore@1496 30 public class MethodReference60 {
mcimadamore@1496 31
mcimadamore@1496 32 interface ArrayFactory<X> {
mcimadamore@1496 33 X make(int size);
mcimadamore@1496 34 }
mcimadamore@1496 35
mcimadamore@1496 36 interface BadArrayFactory1<X> {
mcimadamore@1496 37 X make();
mcimadamore@1496 38 }
mcimadamore@1496 39
mcimadamore@1496 40 interface BadArrayFactory2<X> {
mcimadamore@1496 41 X make(int i1, int i2);
mcimadamore@1496 42 }
mcimadamore@1496 43
mcimadamore@1496 44 interface BadArrayFactory3<X> {
mcimadamore@1496 45 X make(String s);
mcimadamore@1496 46 }
mcimadamore@1496 47
mcimadamore@1496 48 public static void main(String[] args) {
mcimadamore@1496 49 BadArrayFactory1<int[]> factory1 = int[]::new; //param mismatch
mcimadamore@1496 50 BadArrayFactory2<int[]> factory2 = int[]::new; //param mismatch
mcimadamore@1496 51 BadArrayFactory3<int[]> factory3 = int[]::new; //param mismatch
mcimadamore@1496 52 ArrayFactory<Integer> factory4 = int[]::new; //return type mismatch
mcimadamore@1496 53 ArrayFactory<Integer[]> factory5 = int[]::new; //return type mismatch
mcimadamore@1496 54 }
mcimadamore@1496 55 }

mercurial