pred_known_to_hold_modulo_regions
This reverts commit 399a258f46.
399a258f46
#[diagnostic::on_unimplemented]