clone of new definition is now looked up in the corrected context(the clone of the original class). Otherwise type parameters point to those of the original class which are different from those of its clone (although conceptually the same).
clone of new definition is now looked up in the corrected context(the clone of the original class). Otherwise type parameters point to those of the original class which are different from those of its clone (although conceptually the same).

markovandooren/jlo