/*
 * @test  /nodynamiccopyright/
 * @bug 6245591
 * @compile/ref=T6245591.out -XDstdout -XDrawDiagnostics -Xlint:all,-path T6245591.java
 */
enum Season {
    /** @deprecated */
    WINTER, SPRING, SUMMER, FALL;
}
enum Season1 {
    WINTER, SPRING, SUMMER, FALL;
}
class T6245591 {
    void m() {
        Season s1 = Season.WINTER;    // ref to WINTER should be deprecated
        Season1 s2 = Season1.WINTER;  // nothing here should be deprecated;
                                      // @deprecated should not leak out of Season
    }
}