Community
Participate
Working Groups
if a callin method issues a tsuper-call to a corresponding super callin method containing a base-call, this base call has to be dynamically bound back to the original (sub-) role. If generic substitution applies between these two roles, dynamic binding of the base-call surrogate has to be ensured despited different erasures. (Using a bridge method?)
Too tricky to solve for M5 at this point.