langtools/test/tools/javac/generics/inference/LowerBoundGLB.java
author dlsmith
Tue, 06 May 2014 15:46:09 -0600
changeset 24293 0d889f759fac
permissions -rw-r--r--
8033718: Inference ignores capture variable as upper bound Summary: Split Types.lowerBound into two methods; fix bugs in inference handling of capture variables. Reviewed-by: vromero

/*
 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/**
 * @test
 * @bug 8033718
 * @author dlsmith
 * @summary GLB for two capture variables with lower bounds
 * @compile LowerBoundGLB.java
 */

public class LowerBoundGLB {

    interface Box<T> {
        T get();
        void set(T arg);
    }

    <T> T doGLB(Box<? super T> b1, Box<? super T> b2) {
        return null;
    }

    void test(Box<? super String> l1, Box<? super CharSequence> l2) {
        doGLB(l1, l2).substring(3);
    }

}