Fix #14946: originalName in dumpfile missing for local typedefs
#1366
| Job | Run time |
|---|---|
| 11m 14s | |
| 54m 38s | |
| 15m 42s | |
| 1h 21m 34s |
originalName in dumpfile missing for local typedefs
#1366
| Job | Run time |
|---|---|
| 11m 14s | |
| 54m 38s | |
| 15m 42s | |
| 1h 21m 34s |