fix potential unsoundness in retain#229

sunshowers merged 1 commit intomainoxidecomputer/iddqd:mainfrom

sunshowers/spr/fix-potential-unsoundness-in-retainoxidecomputer/iddqd:sunshowers/spr/fix-potential-unsoundness-in-retainCopy head branch name to clipboard