Talk:Static checking of exceptions