Preserve original type in extend_and_specialize (#1063)
#3105
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |
extend_and_specialize (#1063)
#3105
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |