rpau / javalang-compiler

Java compiler elements (symbol and type tables) to perform code semantic analysis
GNU Lesser General Public License v3.0
10 stars 4 forks source link

resolution error for typed class parameter #40

Closed cal101 closed 7 years ago

cal101 commented 7 years ago

In m() the AMixin value for T is not propagated.

` import java.util.List;

public class TypedMethod { public interface Mixin { }

public class AMixin implements Mixin { public List getList() { return null; } }

public T mixin(Class<? extends T> mixin) { return null; }

public void m() { mixin(AMixin.class).getList().get(0); } }`