"Override method" code assist: wrong result when generics are involved but unspecified

[mauromol]

Consider this:

package test36;
public interface MyInterface<I, O> {
	O doSomething(I input);
	O doSomethingElse(I input);
}

And the following Groovy class:

package test36

class Test36 {

	void foo() {
		def i = new MyInterface() {
			|
		}
	}
}

Invoke code assist at "|" and choose to Override method doSomething in MyInterface. The expected result is:

	Object doSomething(Object input) {
		|
	}

The actual result is:

	Object doSomething(Object input) {};|

[eric-milles]

Your use of MyInterface is a raw type. So override method lookup is checking for a doSomething(I) but the raw type has doSomething(Object). Is your intent to supply java.lang.Object for the type parameters I and O?

[mauromol]

I know I'm using it as a raw type, however in Groovy this is not so unusual. Yes, I would expect to see Object for I and O, I don't think Greclipse could be smarter than this, unless I use:

MyInterface<String, Integer> i = new MyInterface() { ... }

In this case, indeed, Greclipse may infer that I and O should rather be String and Integer respectively, rather than Object, just like the Diamond operator MyInterface<> in Java 7+.

[eric-milles]

I'm just checking that you mean Object. It was unclear to me if you meant to leave off the type parameters or if you planned to fill them in after implementing methods. It can be hard to tell with editor stuff where the author is going with edits; whereas with compiler bugs, the full source is at hand.

[eric-milles]

Ready to test

[mauromol]

Works fine in 3.1.0.xx-201809101915-e47, thank you!