Give a specific lint for unsafety not being inherited

[clubby789]

In cases like

static mut FOO: u64 = 0;
fn main() {
    unsafe {static BAR: u64 = FOO;}    
}

and

fn foo() {
  unsafe {
    fn bar() {
      unsafe_call();
    }
  }
}

Specifically inform the user that the unsafety is not inherited for the seperate enclosing items
Fixes #94077
r? compiler-errors
@rustbot label +A-diagnostics

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[compiler-errors]

This should be good to go after addressing that one nit and a few formatting inconsistencies!

[compiler-errors]

I think this is fine to land as-is -- if anyone has any strong opinions about the wording being made more precise or descriptive, they're welcome to open a follow-up PR.

@bors r+ rollup

[bors]

📌 Commit 28819cb has been approved by compiler-errors

It is now in the queue for this repository.