Possible solution for unchecked casts?

Question

Proposal: add to java.lang.reflect.Type the following methods:
/** Determines if the specified Object is assignment-compatible with the object
* represented by this Class. This method is the dynamic equivalent of the
* Java language instanceof operator. The method returns true if the specified Object
* argument is non-null and can be cast to the reference type represented by this Class
* object without raising a ClassCastException. It returns false otherwise.
public boolean isInstance(Object obj)
* Casts an object to the class or interface represented by this Class object.
* Checks all fields in the object that they are of the proper type by calling
* types.class.instanceof() recursively.
public T Class.cast(Object obj, java.lang.reflect.Type ... types)
Then any unchecked cast
Object obj;
T0<T1, .. Tn> checked = (T0) obj;could implicitly be converted to:
Object obj;
T0<T1, .. Tn> checked = T0.class.cast<obj, T1.class, ... Tn.class);No more unchecked casts in the compiled classes!

Answer 1

Well, neither the code above nor the code referenced
in the link to the other discussion above compiles with the
1.5.0 beta compiler :)
But the referenced example does! To be sure, here's the faulty but compilable example again:
public class HiddenCheckedExceptions
  public static void main(String argv[])
    throwHidden(new Throwable());
  public static void throwHidden(Throwable t)
    ExceptionHider a = new ExceptionHider(t);
    ExceptionHider<RuntimeException> b = a;
    b.throwHidden();  // this is line 8
  private static final class ExceptionHider<T extends Throwable>
    private final T t;
    ExceptionHider(T t)
      this.t = t;
    void throwHidden() throws T
      throw t;
}When running it throws:
Exception in thread "main" java.lang.Throwable
        at HiddenCheckedExceptions.main(HiddenCheckedExceptions.java:8)Either a ClassCastException should be thrown during the assignment of a to b, or it should not compile at all.