[GROOVY-8815] Inconsistent class file - undefined type parameter for trait implementer

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.15, 2.5.2
• Fix Version/s: 3.0.0-rc-1, 2.5.22
• External issue URL: https://github.com/groovy/groovy-eclipse/issues/733
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 27/Sep/18 17:20
• Updated: 07/Mar/23 20:56
• Resolved: 03/Sep/19 09:00

Description

When compiling the following classes, the Service class ends up with an incomplete type parameter in it. This causes errors for the IDE: "Inconsistent classfile encountered: The undefined type parameter T is referenced from within Service"

import java.util.function.Consumer
import groovy.transform.CompileStatic

class Event<T> {
  Event(String id, T payload) {
  }
  Event<T> setReplyTo(Object replyTo) {
  }
}

@CompileStatic
trait Events {
  def <E extends Event<?>> Registration<Object, Consumer<E>> on(Class key, Closure consumer) {
  }
}

interface Registration<K, V> {
}

class Service implements Events {
}

javap output for Events shows:

  public abstract <E extends Event<?>> Registration<java.lang.Object,java.util.function.Consumer<E>> on(java.lang.Class, groovy.lang.Closure);

javap output for Service shows:

  public <E extends Event<T>> Registration<java.lang.Object, java.util.function.Consumer<E>> on(java.lang.Class, groovy.lang.Closure);
  public <E extends Event<?>> Registration<java.lang.Object, java.util.function.Consumer<E>> Eventstrait$super$on(java.lang.Class, groovy.lang.Closure);

It is this "T" in the trait method that is not defined. I think it should be "?" instead when looking at the original method's and the trait bridge method's type parameters.

Issue Links

• links to: GitHub Pull Request #999