Fix some old // <directive> to //@ <directive>
#4829
| Job | Run time |
|---|---|
| 7s | |
| 7s |
// <directive> to //@ <directive>
#4829
| Job | Run time |
|---|---|
| 7s | |
| 7s |