<div dir="ltr">Hi,<div><br></div><div>In Utils::methodTypeFor(Type.Function type), line 275, I get a compilation error:</div><div><br></div><div><div><font face="monospace"> no suitable method found for methodType(Class<br><CAP#1>,List<Class<CAP#2>>)<br>                MethodType.methodType(carrierFor(type.returnType()), type.argumentTypes().stream().map(Utils::carrierFor).toList());<br>                          ^<br>    method MethodType.methodType(Class<?>,Class<?>[]) is not applicable<br>      (argument mismatch; List<Class<CAP#3>> cannot be converted to Class<?>[])<br>    method MethodType.methodType(Class<?>,List<Class<?>>) is not applicable<br>      (argument mismatch; List<Class<CAP#3>> cannot be converted to List<Class<?>>)<br>    method MethodType.methodType(Class<?>,Class<?>,Class<?>...) is not applicable<br>      (argument mismatch; List<Class<CAP#3>> cannot be converted to Class<?>)<br>    method MethodType.methodType(Class<?>,Class<?>) is not applicable<br>      (argument mismatch; List<Class<CAP#3>> cannot be converted to Class<?>)<br>    method MethodType.methodType(Class<?>,MethodType) is not applicable<br>      (argument mismatch; List<Class<CAP#3>> cannot be converted to MethodType)<br>  where CAP#1,CAP#2,CAP#3 are fresh type-variables:<br>    CAP#1 extends Object from capture of ?<br>    CAP#2 extends Object from capture of ?<br>    CAP#3 extends Object from capture of ?</font><br></div></div><div><font face="monospace"><br></font></div><div><font face="arial, sans-serif">There is a problem with type inference. Eclipse's ECJ also has this problem.</font></div><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif">Another one is in </font>HeaderFileBuilder line 326: Cannot infer type argument(s) for <R> map(Function<? super T,? extends R>).</div><div><br></div><div>I'm using the master branch commit ID d87ddec91bd5aceaa3882f3bd6d75b18d77e9842 in case this is the wrong branch. Maybe I have some local configuration problem.</div><div><br></div><div>- Nir</div></div>