Mauricio's conjecture on lens-space connected-sum surgeries

Let $K$ be a knot in $L(p,q)$, where $L(p,q)\neq S^3,\mathbb{RP}^3$, and suppose that the exterior of $K$ is irreducible.

Mauricio's conjecture. Surgery on $K$ never produces

$$L(p,q)\#L(t,1).$$

This is presented as a consequence encompassed by the lens-space cabling conjecture. It concerns restrictions on non-prime surgeries for knots with irreducible exteriors in lens spaces other than $S^3$ and $\mathbb{RP}^3$.