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

Tracking Init properties and required members support #13451

Closed
vzarytovskii opened this issue Jul 7, 2022 · 1 comment · Fixed by #13490
Closed

Tracking Init properties and required members support #13451

vzarytovskii opened this issue Jul 7, 2022 · 1 comment · Fixed by #13490
Assignees
Labels
Milestone

Comments

@vzarytovskii
Copy link
Member

Language Suggestion

@vzarytovskii vzarytovskii added this to the July-2022 milestone Jul 7, 2022
@vzarytovskii vzarytovskii self-assigned this Jul 7, 2022
@vzarytovskii vzarytovskii moved this to Not Planned in F# Compiler and Tooling Jul 7, 2022
@vzarytovskii vzarytovskii moved this from Not Planned to Planned in F# Compiler and Tooling Jul 7, 2022
@smoothdeveloper
Copy link
Contributor

related PR which had the logic to forbid calls to property setter: #11564

@vzarytovskii vzarytovskii linked a pull request Jul 11, 2022 that will close this issue
6 tasks
@vzarytovskii vzarytovskii moved this from Planned to In Progress in F# Compiler and Tooling Jul 15, 2022
Repository owner moved this from In Progress to Done in F# Compiler and Tooling Jul 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants