fix: fix usage of #[abi(tag)] attribute with elaborator
#12684
| Job | Run time |
|---|---|
| 2m 25s | |
| 54s | |
| 55s | |
| 9s | |
| 4m 23s |
#[abi(tag)] attribute with elaborator
#12684
| Job | Run time |
|---|---|
| 2m 25s | |
| 54s | |
| 55s | |
| 9s | |
| 4m 23s |