Skip to content

MemberResolver misses members inherited via self-referential interface (ResolvedRecursiveType as implemented interface) #132

Closed

Description

@cowtowncoder

When an implemented interface of a type is a self-reference (ResolvedRecursiveType), it is returned as-is by getImplementedInterfaces(); and since ResolvedRecursiveType.getImplementedInterfaces() returns an empty list (to avoid infinite loops), MemberResolver silently drops all members inherited through that interface.

Reproduction

public interface Top { void top(); }
public interface BaseI<X> extends Top { X get(); }
public interface MidI<T> extends BaseI<OuterI> { }
public interface OuterI extends MidI<String> { }

TypeResolver r = new TypeResolver();
MemberResolver mr = new MemberResolver(r);
// `OuterI` as type parameter of `BaseI<OuterI>`, within `MidI<String>`:
ResolvedType outerInMid = r.resolve(MidI.class, String.class)
        .getImplementedInterfaces().get(0).getTypeParameters().get(0);
mr.resolve(outerInMid, null, null).getMemberMethods().length;          // 0
mr.resolve(r.resolve(OuterI.class), null, null).getMemberMethods().length; // 2 (`get()`, `top()`)

Here outerInMid implements MidI<String> via a self-reference (since MidI<String> was still being resolved), so BaseI and Top (and their methods) are not reachable.

(note: on 1.7 / current main, even stand-alone OuterI resolves to 0 member methods)

Expected

Same members as for stand-alone OuterI.

Notes

#128 handled the equivalent case for super classes: ResolvedObjectType.getParentClass() maps a self-referential super class to the type it represents (ResolvedRecursiveType.getActualType(), new in 1.8). Super interfaces would need similar handling: either in getImplementedInterfaces() of ResolvedObjectType / ResolvedInterfaceType, or in MemberResolver (HierarchicType construction) when traversing interfaces. Changing what getImplementedInterfaces() returns would be a (minor) behavioral change, so MemberResolver-side handling may be preferable.

Activity

  1. added a commit that references this issue on Oct 10, 2026
    e2e3ee8
  2. changed the title [-]MemberResolver misses members inherited via self-referential interface (ResolvedRecursiveType as implemented interface)[/-] [+]`MemberResolver` misses members inherited via self-referential interface (`ResolvedRecursiveType` as implemented interface)[/+] on Oct 10, 2026
  3. added this to the 1.8.0 milestone on Oct 10, 2026
  4. added a commit that references this issue on Oct 11, 2026
    a599cba
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions