Bug 348074

Description Stephan Herrmann 2011-06-02 10:59:54 EDT

If a team method requests lifting 
   
  void m (B as R r) { ... }

although R has no playedBy, then a quickfix could propose to 
add "playedBy B" to R. The error is:

  Cannot lift to role R because it is not played by a base class (OTJLD 2.3.2(a)).


Similar problem are reported for 

callout return:
  Callout binding: Return of base method m() is incompatible with return expected 
 by method m(): Can't convert bug346166.base.B2 to R2<@tthis[MyTeam]> (OTJLD 
 3.3(d)).

callout param:
  When mapping the 1. argument of m(bug346166.base.B2): cannot convert from R2<@tthis[MyTeam]> to bug346166.base.B2 (OTJLD 3.3(d)).

callin param:
  When mapping the 1. argument of m(R2<@tthis[MyTeam]>): cannot convert from bug346166.base.B2 to R2<@tthis[MyTeam]> (OTJLD 4.5(d)).

callin return:
  Callin binding:
Return of method m() is incompatible with return expected by base method m():
Can't convert R2<@tthis[MyTeam]> to bug346166.base.B2 (OTJLD 4.4(b)).

All these could be fixed by adding the same "playedBy B2" to R2.