PK84040: Inference fails for type variable return constraint

Rational Application Developer for WebSphere Software, Version 7.0.0.9

APAR status

• Closed as program error.

Error description

• Getting error:
  type parameters of ?BO?BO cannot be determined; no unique maxima
  l instance exists for type variable BO with upper boundsBO,RO
  BO workingCopy = registerModify(ro, METHOD_NAME, false);
  while compiling Java code below.
  
  Java Code:
  public ?RO extends BaseRO, BO extends RO? BO registerUpdate(RO r
  o) {
  String METHOD_NAME = 'registerUpdate';
  BO workingCopy = registerModify(ro, METHOD_NAME, false);
  return workingCopy;
  }
  protected ?RO extends BaseRO, BO extends RO? BO registerModify(R
  O roOrBO, String METHOD_NAME, boolean isAssociate) {
  return null;
  }
  

Local fix

Problem summary

• See problem description.
  

Problem conclusion

• The IBM JDK has been upgraded in Rational Application
  Developer V7.0.0.9 to fix this issue.
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

Fix information

• Fixed component name

  RATL APP DEV WI

• Fixed component ID

  5724J1901

Applicable component levels

• R700 PSN

     UP