This is in a shapeless macro and simply outputs diagnostic info before a compiler abort.
Looks ok.