WARNING pragmas in `Prelude.undefined` and `Prelude.error`

[Henning Thielemann]

On Mon, 23 Dec 2019, Vilem Liepelt wrote:

> I agree that `error`/`undefined` can be legitimate; however often this 
> legitimacy rests on invariants that aren't necessary stable under 
> change-types-and-fix-errors-until-things-type-check style refactoring! 
> So after refactoring I'd like to switch on my `error`/`undefined` 
> warnings temporarily.

I assume a TotalHaskell pragma was proposed in the past. Would this help?