This issue or pull request has been labeled: "cranelift", "isle"
Thus the following users have been cc'd because of the following labels:
* cfallin: isle
* fitzgen: isle
To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.
[Learn more.](https://github.com/bytecodealliance/subscribe-to-label-action)
This PR corrects the error message for
extern
to cover theextern const
case.