Plumb rustc -Zhint-mostly-unused flag through as a profile option (…
#3029
| Job | Run time |
|---|---|
| 9s | |
| 9s |
-Zhint-mostly-unused flag through as a profile option (…
#3029
| Job | Run time |
|---|---|
| 9s | |
| 9s |