Bug 499317

Description Melina Mongiovi 2016-08-06 19:13:17 EDT

Behavior Preserving Transformation is rejected.

Reproducible: Always

Steps to Reproduce:
1. Create the following program
package p;
class A<E> {
  void m(E e){
  }
}
class Sub<E> extends A<E> {
  void m(E e){
  }
}



2. Add parameter E e2 in A.m

3. The tool does not apply the transformation and warn the following message:
The type 'of parameter  contains the type variable ,  which may not be available in  related methods.

4. However, the following possible resulting program compiles and the transformation preserves the program behavior, which indicates that some refactoring conditions may be overly strong. 

package p;
class A<E> {
  void m(E e, E e2){
  }
}
class Sub<E> extends A<E> {
  void m(E e, E e2){
  }
}