remove 'fail to call destructors' from okay-list#420

ehuss merged 1 commit into

rust-lang:masterrust-lang/nomicon:masterfrom

RalfJung:destructorsRalfJung/nomicon:destructorsCopy head branch name to clipboard