Two observations about this rule.
The first is that it uses non_compliant_example as a function name. The examples don't need to be hyper realistic, but we can do better than this.
The second is that the non-compliant and compliant solutions require unsafe. Shouldn't this rule be in the "Unsafe" section if it can only occur in unsafe code?