They will only occur when compiling in "DXR" mode right?

Do they represent a bug in this code (or in the compiler in general?), if so, I think `error!(..)` or even `span_bug` would be appropriate?