type migration: don't migrate method qualifiers type if type parameters are assignabl...