References, and existing work:
Original Zulip thread in t-compiler
... continued in project-exploit-mitigations
branch-protection tracking issue
cf-protection (CET) tracking issue
Tracking issue for sanitizer support
Tracking Issue for LLVM Control Flow Integrity (CFI) Support for Rust
Options like this...