5 ms·

That is still something that happens at runtime, not compile-time. What the kernel would need is not only for the fallible alloc APIs (like Box::try_new) to be

That is still something that happens at runtime, not compile-time. What the kernel would need is not only for the fallible alloc APIs (like Box::try_new) to be expanded to cover all their needs, but also to be able to remove the ability to use the infallible/panicky ones (like Box::new) to ensure, at compile time, that panic will never be called.

gpm 6y ago
Ah right, only the second half of the comment I was replying to exists. Oops.
- pedrocr 6y ago
  The second half doesn't exist either. I want to disallow panic and turn it into an error at compile time. The panic unwinding would be replaced with an error check by the compiler.