RFC: in TC resolution, ← instantiateMVars (← inferType mvar) is computed 2 or 3 times over for every new goal
#28
| Job | Run time |
|---|---|
| 3s | |
| 3s |