langtools/test/tools/javac/generics/inference/8141613/T8141613.java
changeset 33708 99085a01b536
equal deleted inserted replaced
33707:d74fef6b01e0 33708:99085a01b536
       
     1 /*
       
     2  * Copyright (c) 2015, 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.  Oracle designates this
       
     8  * particular file as subject to the "Classpath" exception as provided
       
     9  * by Oracle in the LICENSE file that accompanied this code.
       
    10  *
       
    11  * This code is distributed in the hope that it will be useful, but WITHOUT
       
    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       
    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
       
    14  * version 2 for more details (a copy is included in the LICENSE file that
       
    15  * accompanied this code).
       
    16  *
       
    17  * You should have received a copy of the GNU General Public License version
       
    18  * 2 along with this work; if not, write to the Free Software Foundation,
       
    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
       
    20  *
       
    21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
       
    22  * or visit www.oracle.com if you need additional information or have any
       
    23  * questions.
       
    24  */
       
    25 
       
    26 /*
       
    27  * @test
       
    28  * @bug 8141613
       
    29  * @summary Compiler fails to infer generic type
       
    30  * @compile T8141613.java
       
    31  */
       
    32 class T8141613 {
       
    33 
       
    34     static class Sub<V, L> implements Sup<V, L> {
       
    35         Sub(Bar<V> barv) { }
       
    36     }
       
    37 
       
    38     interface Bar<V> { }
       
    39 
       
    40     interface Sup<V, L> { }
       
    41 
       
    42     <L> void test() {
       
    43         Sup<?, L> res1 = makeSub(makeBar());
       
    44         Sup<?, L> res2 = new Sub<>(makeBar());
       
    45     }
       
    46 
       
    47     <S, U> Sub<S, U> makeSub(Bar<S> bars) { return null; }
       
    48 
       
    49     <B> Bar<?> makeBar() {
       
    50         return null;
       
    51     }
       
    52 }