Bug 85160

Description Olivier Thomann 2005-02-14 12:38:24 EST

The following code should report an error like this:

The method finalize() from the type Object is not visible

but it crashes with a ClassCastException for an array type. It works fine if I
replace args with args[0].

public class X {

    public static void main(String[] args) {
        args.finalize();
    }
}