Change // Safe because
comments to proper // SAFETY:
comments clippy
recognizes
#670
Loading
// Safe because
comments to proper // SAFETY:
comments clippy
recognizes
#670