linear-generics fails to typecheck on head.hackage
linear-generics fails to build with this error:
```
Renamer/typechecker [Generics.Linear.Unsafe.ViaGHCGenerics]: alloc=25139976 time=12.414
src/Generics/Linear/Unsafe/ViaGHCGenerics.hs:83:17: error: [GHC-59840]
• GHC bug #19517: GHC currently does not support programs using GADTs or type families to witness equality of multiplicities
• In the expression: f
In a case alternative: UnsafeRefl -> f
In the expression:
case unsafeEqualityProof @p @q of UnsafeRefl -> f
|
83 | UnsafeRefl -> f
| ^
Error: [Cabal-7125]
Failed to build linear-generics-0.2.3 (which is required by test-linear-generics-1.0). See the build log above for details.
```
From the error message, it sounds like this is an expected failure. So, we should write a migration guide entry to tell users how to upgrade their code.
issue