This repository has been archived by the owner on Feb 13, 2024. It is now read-only.
handle useExtension keyword?
#82
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Currently this is ignored, because I expect our compiler to know better than the user does whether or not something should be promoted to extension space. Is this reasoning sound?
The text was updated successfully, but these errors were encountered: