Mercurial > hg > openjdk > jdk6 > langtools
view test/tools/javac/generics/inference/6638712/T6638712e.java @ 164:c711bcdb18ea
OPENJDK6-34: OpenJDK6-b31 backport of JDK-6638712 to openjdk6
Summary: Original bug synopsis-Inference of formal type parameter (unused in formal parameters) is not performed
Reviewed-by: aph
Contributed-by: nikgor <nikolay@azulsystems.com>
author | ikrylov |
---|---|
date | Fri, 20 Jun 2014 16:52:01 +0400 |
parents | |
children |
line wrap: on
line source
/* * @test /nodynamiccopyright/ * @bug 6638712 6795689 * @author mcimadamore * @summary Inference with wildcard types causes selection of inapplicable method * @compile/fail/ref=T6638712e.out -XDrawDiagnostics T6638712e.java */ class T6638712e { static class Foo<A, B> { <X> Foo<X, B> m(Foo<? super X, ? extends A> foo) { return null; } } static class Test { Foo<Object, String> test(Foo<Boolean, String> foo1, Foo<Boolean, Boolean> foo2) { return foo1.m(foo2); } } }