No this is impossible without explicitly support from the author if the method, e.g. define an type traits like interface to propagate this info. The method itself does not contain enough information.
The question is not well-defined and is in general undecidable even if you make up some more precise rules for it like no method error (it requires an exact type inference).