What is a reason to constrain likely/unlikely as an unsafe code?
These intrinsics are very powerful in performance-critical safe code, but unsafe marker makes it uncomfortable to use them in production.
Can you explain why they are unsafe and what problems these intrinsics can bring? How may they be misused?
The documentation tells that misuse will have no effect.