Safety features for Crunch?

Hi,
There is this rather experimental C compiler/transpiler Cake that makes not only C23 features available for older C compilers but also introduces new safety features such as object lifetime checks in the form of 

´´´
#pragma safety enable
#include <stdio.h>
int main()
{
    FILE *_Owner _Opt f = fopen("file.txt", "r");
    if (f)
    {
       fclose(f);
    }
}
try
´´´

I think something similar would be great in Crunch.

Cake: http://thradams.com/cake/ownership.html#toc_3

Ben