TargetType51.java revision 2253:3b4db9e3824d
1/* 2 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 24/* 25 * @test 26 * @bug 8005244 27 * @summary Implement overload resolution as per latest spec EDR 28 * smoke test for combinator-like stuck analysis 29 * @author Maurizio Cimadamore 30 * @compile TargetType51.java 31 */ 32 33import java.util.Comparator; 34 35class TargetType51 { 36 37 interface SimpleMapper<T, U> { 38 T map(U t); 39 } 40 41 interface SimpleList<X> { 42 SimpleList<X> sort(Comparator<? super X> c); 43 } 44 45 static class Person { 46 String getName() { return ""; } 47 } 48 49 <T, U extends Comparable<? super U>> Comparator<T> comparing(SimpleMapper<U, T> mapper) { return null; } 50 51 static class F<U extends Comparable<? super U>, T> { 52 F(SimpleMapper<U, T> f) { } 53 } 54 55 void testAssignmentContext(SimpleList<Person> list, boolean cond) { 56 SimpleList<Person> p1 = list.sort(comparing(Person::getName)); 57 SimpleList<Person> p2 = list.sort(comparing(x->x.getName())); 58 SimpleList<Person> p3 = list.sort(cond ? comparing(Person::getName) : comparing(x->x.getName())); 59 SimpleList<Person> p4 = list.sort((cond ? comparing(Person::getName) : comparing(x->x.getName()))); 60 } 61 62 void testMethodContext(SimpleList<Person> list, boolean cond) { 63 testMethodContext(list.sort(comparing(Person::getName)), true); 64 testMethodContext(list.sort(comparing(x->x.getName())), true); 65 testMethodContext(list.sort(cond ? comparing(Person::getName) : comparing(x->x.getName())), true); 66 testMethodContext(list.sort((cond ? comparing(Person::getName) : comparing(x->x.getName()))), true); 67 } 68} 69