I think subtype relationships have the highest priority when it comes to method specificity. Diagonal type restrictions are farther down on the list.
In your actual use case, are you defining a convert method, or is it some other function? Just wondering, because usually if you encounter a method error for convert, it doesn’t mean that you should implement a convert method—it means that you are doing something wrong further up the chain. 