MethodInfo represents an interface method.
At least one of src or fun must be non-None.
(Methods declared in the current package have a non-None scope
and src, and eventually a non-None fun field; imported and pre-
declared methods have a None scope and src, and only a non-None
fun field.)