Skip to content

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

Merged
BennoLossin merged 1 commit into
mainfrom
dev/unsound-fix-TAIT-next-solver
Mar 14, 2026
Merged

replace shadowed return token by unsafe-to-create token#117
BennoLossin merged 1 commit into
mainfrom
dev/unsound-fix-TAIT-next-solver

replace shadowed return token by `unsafe`-to-create token

0d5cd7f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar