[nerdponx]

Thanks for this trick for exhaustiveness checking, I've just been putting

  assert False, "This is unreachable."

in my code until now.