Neat, a way of ensuring zero panics in at least your own code is really cool. I wonder how deep the lint goes.

Thanks for sharing! There seems to be a typo in the title though, it reads “reden” instead of “redpen”.