I feel like this should be a `sess.span_bug(...)`, since it is entirely a compiler bug.