>> 2) args() should have matching behavior closely related to "casting >> conversion" in Java: >> http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#5.5 > > Yes, I don't see what an alternative behaviour could be.
Shouldn't it rather be assignment conversion? http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#184206 I think casting conversion would be wrong in that setting. Eric -- Eric Bodden Sable Research Group, McGill University, Montréal, Canada Got an interesting job offer? http://www.bodden.de/hire-me/ _______________________________________________ aspectj-users mailing list aspectj-users@eclipse.org https://dev.eclipse.org/mailman/listinfo/aspectj-users
