callin and autoboxing

[amertgen]

Base class...

public class MyClass {  
  public void foo(int i) {
    System.out.println("foo" + i);
  }
}

...with Team...

public team class MyTeam {

  protected class MyRole playedBy MyClass {
    callin void logInteger(Integer arg) {
      System.out.println("-> log " + arg);
      base.logInteger(arg);
    }
    logInteger <- replace foo;
  }
}

...causes:

OTRE internal error:No way to make types conform role type java.lang.Integer -> int

[stephan]

Could reproduce, adopted test case as A.1.3-otjld-autoboxing-in-method-mapping-9

[stephan]

Fixed in r21631 including a similar issue witnessed by A.1.3-otjld-autoboxing-in-method-mapping-10.