Got a bug report on difftastic saying it crashes with an error: "should be impossible: expected XYZ". I am very glad I phrased my assertion as *should*!