Don't approximate a type using Nothing as prefix (#23531)
#2525
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 21s |
Nothing as prefix (#23531)
#2525
| Job | Run time |
|---|---|
| 1m 21s | |
| 1m 21s |