> Thanks for letting me know about the prototype and explaining many > cases. It will be interesting to see how interface Box$$any will be > used with wildcard capture or when an instance of Box<any> is passed to > a generic method that captures the actual type argument of Box. Yes, it will :) We'll let you know when we figure that out...