The policy isn't necessary to close the PR. The policy just helps to shut down the ensuing discussion after closing the PR. It helps in quickly dealing with well-meaning onlookers asking for clarification when you block PRs from the account.
(void)this.ptr; // Explicit deallocation, very readable
Except it's not very readable? That appears to be the same syntax used for casting.