Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix to #28881 - Consider removing unnecessary CASTs around JSON_VALUE #29417

Merged
merged 1 commit into from
Nov 20, 2022

Conversation

maumar
Copy link
Contributor

@maumar maumar commented Oct 25, 2022

We can remove cast for string scalars, other types maybe cause conversion issues in the generated sql.

Fixes #28881

@ghost
Copy link

ghost commented Oct 25, 2022

Hello @maumar!

Because this pull request has the auto-merge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

@ghost
Copy link

ghost commented Oct 25, 2022

Apologies, while this PR appears ready to be merged, I've been configured to only merge when all checks have explicitly passed. The following integrations have not reported any progress on their checks and are blocking auto-merge:

  1. Azure Pipelines

These integrations are possibly never going to report a check, and unblocking auto-merge likely requires a human being to update my configuration to exempt these integrations from requiring a passing check.

Give feedback on this
From the bot dev team

We've tried to tune the bot such that it posts a comment like this only when auto-merge is blocked for exceptional, non-intuitive reasons. When the bot's auto-merge capability is properly configured, auto-merge should operate as you would intuitively expect and you should not see any spurious comments.

Please reach out to us at [email protected] to provide feedback if you believe you're seeing this comment appear spuriously. Please note that we usually are unable to update your bot configuration on your team's behalf, but we're happy to help you identify your bot admin.

@roji
Copy link
Member

roji commented Oct 25, 2022

Great to see this.

IMHO we should consider patching this... it certainly seems low-risk, and this issue prevents indexing from being used on strings properties in JSON, as we've seen in the recent conversations on Twitter.

@maumar
Copy link
Contributor Author

maumar commented Oct 27, 2022

@ajcvickers to make the call if we should patch. Risk does seem low.

@roji
Copy link
Member

roji commented Nov 17, 2022

@maumar let me know when you want a review on this.

@maumar
Copy link
Contributor Author

maumar commented Nov 18, 2022

@roji ready for the review

Copy link
Member

@roji roji left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM @maumar, but one question - this removes the cast also for cases where we have a length (e.g. nvarchar(10)).

I think it's a bit dubious to have this kind of type mapping on a JSON property, since it's not supported by the database in any way: JSON properties don't have types like columns, and the database never enforces a max length on them, etc.

But regardless... We can leave the cast, in order to have the DB truncate the string (in case someone inserted a longer value into the database). I don't think it's important to do that, mostly raising it as a question.

We can remove cast for string scalars, other types maybe cause conversion issues in the generated sql.

Fixes #28881
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Consider removing unnecessary CASTs around JSON_VALUE
3 participants