Revert "Neues Default-Pragma: no_warn_empty_casts"

This reverts commit 2dff7c5c6ecf8d5515ba2745506b0a9a0ff63b29.
Es war nicht vorgesehen, das Pragma dauerhaft zu setzen.
1 file changed