From 2b5f8533f10f944dbe0833af1a4fcd88dbd5e5ef Mon Sep 17 00:00:00 2001
From: Runxi Yu
Date: Sun, 25 Jan 2026 20:51:08 +0100
Subject: TODO: Ref might need to be an interface

---
 TODO | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 TODO

(limited to 'TODO')

diff --git a/TODO b/TODO
new file mode 100644
index 00000000..cfe55ef2
--- /dev/null
+++ b/TODO
@@ -0,0 +1 @@
+consider making Ref an interface satisfied by concrete RefDetached, RefSymbolic
-- 
cgit v1.3.1-10-gc9f91