langtools/test/tools/javac/diags/examples/InferredDoNotConformToUpper.java
changeset 15717 ab55670d2e62
parent 14062 b7439971a094
equal deleted inserted replaced
15716:d1f59adb0d83 15717:ab55670d2e62
     1 /*
     1 /*
     2  * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     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
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     7  * published by the Free Software Foundation.
    21  * questions.
    21  * questions.
    22  */
    22  */
    23 
    23 
    24 // key: compiler.err.cant.apply.symbol
    24 // key: compiler.err.cant.apply.symbol
    25 // key: compiler.misc.inferred.do.not.conform.to.upper.bounds
    25 // key: compiler.misc.inferred.do.not.conform.to.upper.bounds
       
    26 // options: -source 7 -Xlint:-options
    26 
    27 
    27 import java.util.*;
    28 import java.util.*;
    28 
    29 
    29 class InferredDoNotConformToUpper {
    30 class InferredDoNotConformToUpper {
    30     <X> void m(X x, List<? super X> lx) {}
    31     <X> void m(X x, List<? super X> lx) {}