Skip to content
This repository was archived by the owner on Apr 12, 2024. It is now read-only.

Conversation

@rodyhaddad
Copy link
Contributor

It's a feature that isn't exposed to the public, and is no longer used internally (not even tested).

See #7540

As opposed to #7543, I considered literal and constant as two distinct concepts.

@mary-poppins
Copy link

Thanks for the PR! Please check the items below to help us merge this faster. See the contributing docs for more information.

  • Uses the issue template (#7552)

If you need to make changes to your pull request, you can update the commit with git commit --amend.
Then, update the pull request with git push -f.

Thanks again for your help!

It's a feature that isn't exposed to the public, and is
no longer used internally.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants