Simon Peyton Jones pushed to branch wip/T26315 at Glasgow Haskell Compiler / GHC
Commits:
-
ad2a64fa
by Simon Peyton Jones at 2025-08-20T01:05:48+01:00
1 changed file:
Changes:
| ... | ... | @@ -1400,7 +1400,7 @@ wantedQciToImplic (QCI { qci_ev = CtWanted ev, qci_tvs = tvs, qci_theta = theta, |
| 1400 | 1400 | -- Set the thing to prove to have a ScOrigin, so we are
|
| 1401 | 1401 | -- careful about its termination checks.
|
| 1402 | 1402 | -- See (QC-INV) in Note [Solving a Wanted forall-constraint]
|
| 1403 | - ; newWantedEvVarNC loc' rewriters inst_pred }
|
|
| 1403 | + ; newWantedNC loc' rewriters inst_pred }
|
|
| 1404 | 1404 | |
| 1405 | 1405 | ; ev_binds_var <- TcS.newTcEvBinds
|
| 1406 | 1406 | ; new_imp <- wrapTcS TcM.newImplication
|