Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Undiscriminated Unions #4186
Undiscriminated Unions #4186
Changes from all commits
ebf3a54
328fc3d
9594155
2e5b737
25513e7
01f00dd
a2b76f3
49fda54
3b40044
409eff7
50b4a70
f775291
5fc82d0
a7ccd13
b8049da
11d5e41
4a74c93
06f3d0d
e8a0c21
2c6c685
3f53b5b
dabb4d3
05de907
e436edc
34943ac
8495e09
57a7411
4e53ffc
167dfe3
7f09715
1fb8e42
836865d
df34c63
e315fe7
00af631
8e49cb7
8097e7d
6daaba3
e8e682d
f20840b
70ad3f9
5df4b2f
96a7965
b9c54e8
21f1552
94d816f
d36a75e
22ea910
8bdafc5
6dac791
e71dda7
8b815e7
574065f
d9b78d5
b4f2886
afbd772
fb0fefc
06675d6
e338279
968652b
3fe8512
b11fa76
3938d12
3add53d
7ae88c4
68be8a1
fb8efc8
295ccd9
423c728
8b191eb
8762eb7
8f52841
b3c0802
2df6aa3
8020813
a949f4f
8bad1be
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
This file was deleted.