From 64593436a83cc18d3990a11a25738a2bac9b95ea Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Mon, 5 Jul 2021 20:24:40 +0200
Subject: [PATCH] If T is DomainDecode, so is &mut T.

---
 implementations/rust/preserves/src/value/domain.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/implementations/rust/preserves/src/value/domain.rs b/implementations/rust/preserves/src/value/domain.rs
index f0139a1..d6e86c6 100644
--- a/implementations/rust/preserves/src/value/domain.rs
+++ b/implementations/rust/preserves/src/value/domain.rs
@@ -23,6 +23,16 @@ pub trait DomainEncode<D: Embeddable> {
     ) -> io::Result<()>;
 }
 
+impl <'a, D: Embeddable, T: DomainDecode<D>> DomainDecode<D> for &'a mut T {
+    fn decode_embedded<'de, 'src, S: BinarySource<'de>>(
+        &mut self,
+        src: &'src mut S,
+        read_annotations: bool,
+    ) -> io::Result<D> {
+        (**self).decode_embedded(src, read_annotations)
+    }
+}
+
 pub struct IOValueDomainCodec;
 
 impl DomainDecode<IOValue> for IOValueDomainCodec {