This can be another grey zone in spec. From what spec says about AT.getMethods(), it is unclear, whether it should return default methods from interfaces in the first place. returns all default-access, public, protected or private methods declared on the type and those declared on any supertypes If we decide that @WithAnnotations should be adjusted, we will need to change ClassFileInfo and it's implementation to allow Jandex optiomization to account for this. Apart from that we'll obviously need to make sure it works without Jandex as well. |