There still exits that bug. The compiler may produce a wrong call in the following case:
class A {} class B extends A {} class C extends C {} class X { void foo(A a) { .. } void foo(B b) { .. } } If you call foo(new C()) on an instance of X, the compiler may produce a call to foo(A). But the compiler correctly compile foo((B)new C()). I haven't implemented a correct type inferencing algorithm yet. View the original post : http://www.jboss.org/index.html?module=bb&op=viewtopic&p=3853446#3853446 Reply to the post : http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&p=3853446 ------------------------------------------------------- This SF.Net email is sponsored by: Sybase ASE Linux Express Edition - download now for FREE LinuxWorld Reader's Choice Award Winner for best database on Linux. http://ads.osdn.com/?ad_id=5588&alloc_id=12065&op=click _______________________________________________ JBoss-user mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/jboss-user