<div dir="ltr">Hi, I have a question about MethodSymbol.implementedIn:<br><a href="http://hg.openjdk.java.net/jdk9/dev/langtools/file/9b37d0f28609/src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java#l1620">http://hg.openjdk.java.net/jdk9/dev/langtools/file/9b37d0f28609/src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java#l1620</a><br><br>I think the FIXME about using subst() is incorrect, Types.memberType takes care of that.<br><br>But testing that the return types are the same still looks wrong, because it doesn't handle implementations with covariant return types.<div><br></div><div>I'm not sure why implementedIn is testing return types at all: it calls MethodSymbol.overrides, which checks return types.<br><br>So perhaps the call to isSameType in implementedIn can just be removed? Deleting it doesn't break any tests.</div></div>