At the moment, Mapping.identity produces a Mapping<Old, Old>. It should really produce Mapping<Old, New> where Old extends New.
At the moment, Mapping.identity produces a Mapping<Old, Old>. It should really produce Mapping<Old, New> where Old extends New.