On 6/6/2013 2:23 PM, Andrei Alexandrescu wrote: > (The tool I'm envisioning > would add final annotations or prompt the user to add them.) Sorry, that's never going to fly.