Worthing having a "FIXME #12049" so that these are converted into the "built-in" debug assertion (when we get one)?