case (shared.shared).unique for ref-typing-ok/read