Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint
#7800
| Job | Run time |
|---|---|
| 5m 3s | |
| 1m 7s | |
| 28s | |
| 2m 25s | |
| 34s | |
| 9m 37s |
getABaseTypeMention and conditionSatisfiesConstraint
#7800
| Job | Run time |
|---|---|
| 5m 3s | |
| 1m 7s | |
| 28s | |
| 2m 25s | |
| 34s | |
| 9m 37s |