russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
31 lines
876 B
Java
31 lines
876 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 8003280
|
|
* @summary Add lambda tests
|
|
* speculative cache contents are overwritten by deferred type-checking of nested stuck expressions
|
|
* @compile/fail/ref=MostSpecific07.out -XDrawDiagnostics MostSpecific07.java
|
|
*/
|
|
import java.util.*;
|
|
|
|
class MostSpecific07 {
|
|
|
|
interface Predicate<X, Y> {
|
|
Y accept(X x);
|
|
}
|
|
|
|
interface VoidMapper {
|
|
void accept();
|
|
}
|
|
|
|
interface ExtPredicate<X, Y> extends Predicate<X, Y> { }
|
|
|
|
void test(boolean cond, ArrayList<String> als, VoidMapper vm) {
|
|
m(u -> ()->{}, als, als, vm);
|
|
m((u -> ()->{}), als, als, vm);
|
|
m(cond ? u -> ()->{} : u -> ()->{}, als, als, vm);
|
|
}
|
|
|
|
<U, V> U m(Predicate<U, V> p, List<U> lu, ArrayList<U> au, V v) { return null; }
|
|
|
|
<U, V> U m(ExtPredicate<U, V> ep, ArrayList<U> au, List<U> lu, V v) { return null; }
|
|
}
|