fn stmt_rejects_lock_value( hir: &Hir<'_>, stmt: &Stmt<'_>, lock_var: VariableId, entered: LockValue, ) -> bool