Bug 395997

Description Milos Gligoric 2012-12-06 17:25:30 EST

Steps to reproduce:
1. See the instructions in code below
2. The resulting code does not compile ("The method f(Object) of type GeneralizeDeclaredTypeBug8 must override or implement a supertype method")

class GeneralizeDeclaredTypeBug8 extends C8<String> {
    // Invoke "Generalize Declared Type" on "String" and select "Object" as new
    // type
    @Override
    void f(String s) {
    }
}

class C8<T> {
    void f(T t) {
    }
}

Result:

class GeneralizeDeclaredTypeBug8 extends C8<String> {
    @Override
    // Errors: "The method f(Object) of type GeneralizeDeclaredTypeBug8
    // must override or implement a supertype method" and
    // "Name clash: The method f(Object) of type GeneralizeDeclaredTypeBug8
    // has the same erasure as f(T) of type C8<T> but does not"
    void f(Object s) {
    }
}

class C8<T> {
    void f(T t) {
    }
}

(Thanks to Yilong Li for helping with the bug report.)