Great post. I’m counting on Polonius not so much as handle more valid borrowing cases than NLL, but on explaining how it comes to a conclusion that some use isn’t valid. That would be really nice in complicated cases.