avoid const_cast usage in headers (#5720)
#13204
| Job | Run time |
|---|---|
| 8m 3s | |
| 5m 34s | |
| 8m 31s | |
| 5m 46s | |
| 11m 22s | |
| 11m 45s | |
| 3m 48s | |
| 3m 40s | |
| 3m 46s | |
| 6m 34s | |
| 1m 31s | |
| 3m 33s | |
| 1m 30s | |
| 4m 20s | |
| 1m 11s | |
| 1m 2s | |
| 26s | |
| 3m 0s | |
| 21s | |
| 43s | |
| 16m 28s | |
| 1h 42m 54s |