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.

Sign up for GitHub

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

Jump to bottom

Pattern matching should decide on how to deal with restricted types #27851

Closed
OmarTawfik opened this issue Jun 14, 2018 · 2 comments
Closed

Pattern matching should decide on how to deal with restricted types #27851

OmarTawfik opened this issue Jun 14, 2018 · 2 comments
Labels
Area-Compilers Concept-Design Debt Engineering Debt, Design Debt, or poor product code quality Feature - Pattern Matching Pattern Matching

Comments

@OmarTawfik
Copy link
Contributor

A recent bug (#27803) revealed how pattern matching interacts with restricted types in interesting ways (when doing type checks).
We should discuss with LDM on whether this should be banned (like pointer types), and if there are actual use cases that need it.
@OmarTawfik OmarTawfik added Area-Compilers Feature - Pattern Matching Pattern Matching Concept-Design Debt Engineering Debt, Design Debt, or poor product code quality labels Jun 14, 2018
@OmarTawfik
Copy link
Contributor Author

cc @gafter

@gafter
Copy link
Member

gafter commented Jun 14, 2018

Added the following to dotnet/csharplang#1054

Restricted types

A recent bug (#27803) revealed how pattern matching interacts with restricted types in interesting ways (when doing type checks).
We should discuss with LDM on whether this should be banned (like pointer types), and if there are actual use cases that need it.

@gafter gafter closed this as completed Jun 14, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Compilers Concept-Design Debt Engineering Debt, Design Debt, or poor product code quality Feature - Pattern Matching Pattern Matching
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gafter @OmarTawfik