Holds if the return type of m is an instantiated type parameter from m.