Repository navigation

fix: unlisted exceptions are unconstrained; no swap across raising calls - #1188

Merged

strub merged 1 commit into

mainfrom

fix/exn-default-swap

Oct 8, 2026

Commits on Oct 8, 2026
- fix: unlisted exceptions are unconstrained; no swap across raising calls
  strub
  committed
  796cf14