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

[WIP] Fix F# 5.0 regression in overload resolution #13063

Closed
wants to merge 10 commits into from

Conversation

dsyme
Copy link
Contributor

@dsyme dsyme commented Apr 28, 2022

I took a look at #12860 which was a regression in overload resolution in F# 5.0 when some rules around Nullable interop were added mainly for C# optional parameters.

This proposed fix adjusts overload resolution to match F# 4.7 in this case by preferring methods that do not use the F# 5.0 nullable interop conversions.

This will need more work:

  • While this is a bug fix, the adjustment itself might need to be under a language version switch. TBD
  • Testing needs to be added (so far only tested manually on the repro in the bug)

@dsyme
Copy link
Contributor Author

dsyme commented Sep 22, 2022

@NinoFloris Do you know if this is fully covered by #13673?

@NinoFloris
Copy link
Contributor

Yes, modulo the improved representation of the conversion info.

Also #12946 is similarly fixed but still open.

@vzarytovskii
Copy link
Member

Since it was fixed, going to close this one, feel free to reopen.

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

Successfully merging this pull request may close these issues.

3 participants