infer.cpp: only perform remove_if() call in infer() if actually required
#4909
| Job | Run time |
|---|---|
| 14m 2s | |
| 14m 2s |
remove_if() call in infer() if actually required
#4909
| Job | Run time |
|---|---|
| 14m 2s | |
| 14m 2s |