Overloading & Cast &Type Save?

Question

Here I use final bounds, therefore ignore cast warnings
and test overloading and inference(<- do not work)
My question: Is this considered type-save? public class DoW {
  public static final String[] DAY_NAME=
       {"Su","Mo","Tu","We","Th","Fr","Sa"};
  private int wd;
  public DoW(int day,int month, int year) {
    // just for fun
    if (month<3) { month= month+12; year--; }
    wd= (day+ 2*month+ 3*(month+1)/5+ year+
         year/4-year/100+year/400+1)%7;
  public <T extends String> T getDoW()  { return (T)DAY_NAME[wd]; }
  public <T extends Integer> T getDoW() { return (T)new Integer(wd); }
  public static void main(String[] args) {
    DoW dow= new DoW(20,2,2005);
    System.out.println(dow.<String>getDoW()+" #"+dow.<Integer>getDoW());
}

Answer 1

I do not argue about sense, let me tinker please!
1. As String/Integer are final they can be used to fool
the compiler and get overloading on return types as a free lunch.
2. See reply Gafter to "Usafe casting with generics"
The compiler warns precisely when it cannot generate code to fully check the cast at runtime.Really? I doubt that, as Sun even ignores it's own compiler warning sometime.
If these two warnings are contrary to the fact that this is type save,
no one will care too much about warnings, as he might think
"my code is also Sun-type save".
This would be a (tiny?) disaster for Generics, as it depends on the fact
that only "warning-less" code can be used as generic building blocks.
3. If finals make a sense in bounds the compiler should not ignore that.