Revert "DBC-Check: we leave it as a warning"

This reverts commit 522fab5b432f157fb06e37945fc1d0f37da9cdaa.