Diverging expressions does not lint for locals needing drop

I tried this code:

// this is psuedo code
fn goodbye() -> ! { ...assembly magic here, like a permanent context switch... }

fn non_returning(value: SomethingThatNeedsDrop) -> ! {
  value.do_something();
  // there's no lint that `value` needs to be manually dropped
  goodbye()
}

I expected to see this happen: Lint to inform that value is being leaked.

Instead, this happened: ¯⁠\⁠_⁠(⁠ツ⁠)⁠_⁠/⁠¯ compiles without warnings

So, hear me out. I'm writing no_std "kernel" code involving permanent context switches and thread exiting stuff. I have smart pointers for kernel objects and memory leaks would be quite bad because I only have 32mb of ram to work with.

So when I do these context switches (or "mega ultra permanent context destruction") I have to be very careful about drops for all codepaths that end up diverging.

For example, my SIGSYS signal handler implements a system call to exit the process or thread. There is associated cleanup required (marking KThread or KProcess as defunct, unmapping signal handler stacks) and this involves retaining a smart pointer to the kernel object up until the thread or process's final moments. Therefore I manually drop them right before the actual Linux munmap and exit syscalls.

But like, I have to remember to do this!

I don't want Rust to change its semantics (because this is perfectly fine with panics, which are most common), but I really would appreciate a lint for all vars in scope that needs drop. Of course this doesn't really work for functions that conditionally diverge (therefore not returning !), but it could make the developer realize they may have issues along the call stack up until divergence.

Start with the issue's Rust examples involving a function returning ! and a local value that needs Drop. Investigate how the compiler currently handles locals at divergent exits and existing lint behavior. Done means a lint can identify relevant locals before unconditional divergence without changing Rust's drop semantics, with coverage for the described cases.