Don wrote:
Actually, I'd hope for a way of checking that @unsafe functions are called only from @trusted functions, and NOT from unmarked ones -- that's the way I'd proceed in moving a codebase over to 'safe'.
That would be fairly viral. I'm concerned it would make it an impediment to use.
