> Then we would have a method on __Value that does something useful. We > don't have any at this point AFAICT. What I wrote above doesn't make much sense. Let's do that for the receiver too: http://cr.openjdk.java.net/~roland/valhalla/__Value_args_cast/webrev.02/ Roland.