replace shadowed return token by unsafe-to-create token#117

BennoLossin merged 1 commit intomainRust-for-Linux/pin-init:mainfrom

dev/unsound-fix-TAIT-next-solverRust-for-Linux/pin-init:dev/unsound-fix-TAIT-next-solverCopy head branch name to clipboard