Backport "Fix: Prevent GADT reasoning in pattern alternatives" to 3.3 LTS#330
Closed
tgodzik wants to merge 1 commit intobackport-lts-3.3-22815from
Closed
Backport "Fix: Prevent GADT reasoning in pattern alternatives" to 3.3 LTS#330tgodzik wants to merge 1 commit intobackport-lts-3.3-22815from
tgodzik wants to merge 1 commit intobackport-lts-3.3-22815from