Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extension method navigate to definition in IntelliJ links to the extended class #80

elshimone opened this issue May 9, 2019 · 1 comment


None yet
2 participants
Copy link

commented May 9, 2019

Describe the bug
In IntelliJ, Ctrl-Clicking on a usage of an extension method which is not anotated with @this links to the decompiled source of the extended class, rather than the definition of the extension method.

To Reproduce
Steps to reproduce the behavior:

  1. Add the following extension class definition to the sample rest application

import manifold.ext.api.*;

public class MyStringExtension {

  public static void print(@This String thiz) {

  @Extension // required for static extension methods
  public static String lineSeparator() {
    return System.lineSeparator();
  1. Add some code which uses the lineSeparator() extension method, e.g.
  1. Ctrl-Click on the lineSeparator() method; the IDE navigates to the decompiled source of java.lang.String

Expected behavior
I would expect it to navigate to the lineSeparator method definition in


Desktop (please complete the following information):

OS Type & Version: Mac OSX 10.13.6 (17G6030)

  • Java/JDK version: Java HotSpot(TM) 64-Bit Server VM (build 25.144-b01, mixed mode)
  • IntelliJ IDEA version: IntelliJ IDEA 2019.1.1 (Community Edition) Build #IC-191.6707.61, built on April 16, 2019
  • Manifold version: 0.65-alpha
  • Manifold IntelliJ plugin version: 0.65-alpha

Additional context

Stack trace


This comment has been minimized.

Copy link

commented May 15, 2019

58f97882 scott on 5/14/2019 at 5:35 PM

(fixed in IJ plugin version 0.66-alpha)

@rsmckinney rsmckinney closed this May 15, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.