Skip to content

Backport "Fix existing GADT constraints with introduced pattern-bound symbols" to 3.3 LTS#351

Merged
tgodzik merged 1 commit intolts-3.3from
backport-lts-3.3-22928
Apr 28, 2025

Commits

Commits on Apr 27, 2025