pi-lens/rules/ast-grep-rules/rule-tests/redundant-unsafe-function-test.yml

Real-time code feedback for pi — LSP, linters, formatters, type-checking, structural analysis & booboo

id: redundant-unsafe-function
valid:
  - |
    unsafe fn f() -> *const i32 {
        unsafe {
            let ptr = 0x1234 as *const i32;
            ptr
        }
    }
  - |
    fn f() -> i32 { 42 }
invalid:
  - |
    unsafe fn f() {
        let x = 1;
    }
  - |
    unsafe fn redundant_unsafe() {
        println!("no unsafe block");
    }
  - |
    unsafe fn proper_unsafe() -> *const i32 {
        let ptr = 0x1234 as *const i32;
        ptr
    }