> I'm not in love with the current algorithm, but what precisely shall we do?
For a given type, collect all method signatures that could conceivably be invoked via that type (and its superclasses or superinterfaces) and succeed only if there is exactly one unique signature with the given method name. As an implementation optimization, lookups on a concrete class can just crawl the supertype chain, but lookups on abstract type would have to consider all superinterfaces as well. -- Bob Vawter Google Web Toolkit Team
-- http://groups.google.com/group/Google-Web-Toolkit-Contributors
