offending pos id is missing for error VerificationError { full_id: "application.precondition:insufficient.permission", pos_id: None, offending_pos_id: None, reason_pos_id: None, message: "Precondition of function p_Int_i32_snap might not hold. There might be insufficient permission to access p_Int_i32(s_Option_1_field_0(_1p, s_Int_i32_type())) (<no position>)\n", counterexample: None }

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

2 file(s) affected