Is there a reason not to use a clang-compilable kernel?

I do like the idea of shrinking the unsafe bit to just the fil-c runtime. Which maybe could be compiled with things like -fbounds-safety. And/or written in a memory-safe subset or variant of C.