type_info: avoid gcc-7 -Wsign-conversion warning
#90
| Job | Run time |
|---|---|
| 1m 50s | |
| 1m 46s | |
| 1m 28s | |
| 5m 4s |
-Wsign-conversion warning
#90
| Job | Run time |
|---|---|
| 1m 50s | |
| 1m 46s | |
| 1m 28s | |
| 5m 4s |