The Taelman–Leopoldt conjecture for Drinfeld modules

Let $K$ be a global $Q$-field, let $E$ be a Drinfeld $A$-module over $\mathcal{O}_K$, and let $\mathfrak{p}$ be a prime of $A$. Write $S_{\mathfrak{p}}$ for the set of places of $K$ above $\mathfrak{p}$, $U(E/\mathcal{O}_K)$ for the group of units of $E$ over $\mathcal{O}_K$, and $E(\mathcal{O}_{K,v})$ for the local points at $v$. Taelman–Leopoldt conjecture. The natural homomorphism

$$A_{\mathfrak{p}} \otimes_A U(E/\mathcal{O}_K) \to \bigoplus_{v \in S_{\mathfrak{p}}} A_{\mathfrak{p}} \otimes_{\hat{A}} E(\mathcal{O}_{K,v})$$

is injective. This is the Drinfeld-module analogue of Leopoldt's conjecture; the source presents it as a natural analogue, but the supplied text gives no resolution or further evidence for its status.