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