Do you believe that is that actually the case? I couldn't convince myself one way or the other. I see how we can miss an unchecked warning if it isn't. Test case suggestions very welcome...