Explicit migration timeline for loopy SC solving

This patch updates the warning message introduced in commit 9fb4ca89 to specify an explicit migration timeline: GHC will no longer support this constraint solving mechanism starting from GHC 9.10.

Merge request reports

Loading