Fix: Bitvector shift in --type-system-refresh (#6197)
#523
| Job | Run time |
|---|---|
| 18s | |
| 9s | |
| 27s |
--type-system-refresh (#6197)
#523
| Job | Run time |
|---|---|
| 18s | |
| 9s | |
| 27s |