langtools/test/tools/javac/diags/examples/DiamondNotSupported.java
changeset 7335 8b390fd27190
parent 6149 48de3564aa13
equal deleted inserted replaced
7334:f432af22de29 7335:8b390fd27190
    20  * or visit www.oracle.com if you need additional information or have any
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    21  * questions.
    22  */
    22  */
    23 
    23 
    24 // key: compiler.err.diamond.not.supported.in.source
    24 // key: compiler.err.diamond.not.supported.in.source
    25 // options: -source 6
    25 // options: -source 6 -Xlint:-options
    26 
    26 
    27 import java.util.*;
    27 import java.util.*;
    28 
    28 
    29 class DiamondNotSupported {
    29 class DiamondNotSupported {
    30     void m() {
    30     void m() {