DIP64 - Regarding 'pure' and 'nothrow'

[Brian Schott via Digitalmars-d-learn]

I'd be more convinced if the following statements were false:
1. Writing an automated upgrade tool is difficult
2. The compiler would have no way of knowing what @nothrow means