Report correct SelectionError for ConstArgHasType in new solver fulfill
#144705
| Job | Run time |
|---|---|
| 11s | |
| 37m 0s | |
| 9m 14s | |
| 1h 6m 52s | |
| 50m 37s | |
| 0s | |
| 2h 43m 54s |