On: NilAway: Practical nil panic detection for Go

[insanitybit]

You can `grep unwrap` for Rust, you need an entire SAT solver for Go.

[foldr → insanitybit]

That's almost literally what I just did, but what use is it? No-one is really going to go through all those unwrap calls and check them.

[insanitybit → foldr]

But... they could. And also, they do? It's not uncommon.

All of those could be checked or irrelevant, I have no idea.

[tgv → insanitybit]

What do you think the borrow checker is?

[insanitybit → tgv]

A completely unrelated construct?