A computer readable medium comprising instructions, which when executed by one or more hardware processors, cause performance of operations for generating a new method that overrides a migrated method, which is a method for which multiple versions exist, the operations comprising: identifying one or more instructions to invoke a particular method corresponding to a particular object, using values corresponding to a particular set of types as arguments, wherein the particular method is referenced by a particular method name; identifying a sub-type that comprises: a first method associated with the particular method name and a first set of parameter types; wherein the sub-type does not include any method associated with the particular method name and a second set of parameter types; determining (806, 808) that a super-type of the sub-type comprises: a second method associated with the particular method name and the first set of parameter types; a third method associated with the particular method name and the second set of parameter types; wherein the second method was migrated to the third method in that the third method is a version of the second method with the first set of parameter types being different from the second set of parameter types; responsive to determining that the particular set of types is same as the second set of parameter types: generating (816, 818) the new method for execution in response to execution of the one or more instructions to invoke the particular method, the new method comprising: instructions to apply a conversion function to convert values corresponding to the particular set of types into values corresponding to the first set of parameter types; instructions to invoke the first method using the values corresponding to the first set of parameter types. identifying one or more instructions to invoke a particular method corresponding to a particular object, using values corresponding to a particular set of types as arguments, wherein the particular method is referenced by a particular method name; identifying a sub-type that comprises: a first method associated with the particular method name and a first set of parameter types; wherein the sub-type does not include any method associated with the particular method name and a second set of parameter types; a first method associated with the particular method name and a first set of parameter types; wherein the sub-type does not include any method associated with the particular method name and a second set of parameter types; determining (806, 808) that a super-type of the sub-type comprises: a second method associated with the particular method name and the first set of parameter types; a third method associated with the particular method name and the second set of parameter types; wherein the second method was migrated to the third method in that the third method is a version of the second method with the first set of parameter types being different from the second set of parameter types; a second method associated with the particular method name and the first set of parameter types; a third method associated with the particular method name and the second set of parameter types; wherein the second method was migrated to the third method in that the third method is a version of the second method with the first set of parameter types being different from the second set of parameter types; responsive to determining that the particular set of types is same as the second set of parameter types: generating (816, 818) the new method for execution in response to execution of the one or more instructions to invoke the particular method, the new method comprising: instructions to apply a conversion function to convert values corresponding to the particular set of types into values corresponding to the first set of parameter types; instructions to invoke the first method using the values corresponding to the first set of parameter types. instructions to apply a conversion function to convert values corresponding to the particular set of types into values corresponding to the first set of parameter types; instructions to invoke the first method using the values corresponding to the first set of parameter types.