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

[release-1.6] Fix typeassert_tfunc for vararg PartialStructs #39402

Closed
wants to merge 1 commit into from

Conversation

martinholters
Copy link
Member

@martinholters martinholters commented Jan 26, 2021

Fixes #38971.

Alternatively, we could just backport the relevant part of #38136, but that would loose some precision for the non-const part compared to 1.5 (inferring as a vararg tuple even tough the type that as being asserted to is non-vararg), while this patch maintains it.

Note: PR against backports-release-1.6.release-1.6. Or should this be against the backports branch?

@martinholters martinholters requested a review from Keno January 26, 2021 09:32
@martinholters martinholters added bugfix This change fixes an existing bug compiler:inference Type inference labels Jan 26, 2021
@KristofferC
Copy link
Member

Note: PR against release-1.6. Or should this be against the backports branch?

Better against backport branch so the PkgEval that runs there will take it up.

@martinholters martinholters changed the base branch from release-1.6 to backports-release-1.6 January 26, 2021 09:38
@martinholters
Copy link
Member Author

...where of course, this has conflicts... will rebase and resolve.

@vtjnash
Copy link
Member

vtjnash commented Jan 26, 2021

We should probably update master first with the new logic

@martinholters
Copy link
Member Author

We should probably update master first with the new logic

Yes, having slept this over, I agree. I'll push the pure bugfix (small excerpt from #38136) to the backports branch and open a new PR against master with the logic that enhances (restores) precision.

@martinholters
Copy link
Member Author

The bugfix is on the release branch now and the precision improvement needs some more thinking through of corner cases. I'll open a PR against master once (and if) I get that sorted out.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix This change fixes an existing bug compiler:inference Type inference
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants