Previously this would have just printed that `false` was not equal to `true`, which, although true, is not very helpful. This commit adds details about which special check failed together with the generated code, for easier debugging. PR Close #39863