Debug Info: Handle function/method types using the most specific type
Simplify the logic described in the comment.