testsuite/tests/quantified-constraints/T23143.hs · 902ebcc2b95707319d37a19d6b23c342cc14b162 · Reinier Maas / GHC

Jun 09, 2023

Ryan Scott authored Jun 09, 2023 and

Marge Bot committed Jun 13, 2023

!10541, the fix for #23323, also fixes #23143. Let's add a regression test to
ensure that it stays fixed.

Fixes #23143.

95b69cfb

Ryan Scott authored Jun 09, 2023 and

Marge Bot committed Jun 13, 2023

!10541, the fix for #23323, also fixes #23143. Let's add a regression test to
ensure that it stays fixed.

Fixes #23143.