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
Traitors 2.0: Priority directives #10745
Traitors 2.0: Priority directives #10745
Changes from all commits
15ced36
f672e58
22bd6f7
eb6915a
e54d4ee
fbcf141
94bb2d5
97cc819
ba85b19
d82a58d
3b0afb9
b6c4179
e82058e
397c077
2d45631
6a6b45e
ec48143
d819134
7cefd47
c0a7f2b
fc2f357
5fda2f0
86eab2f
eb60dad
f87e1d3
0fef14e
f6db5e0
f337ce1
5937fef
d9d17b7
cef507a
626760b
8e5a90f
3a26e31
fc0ff96
6ee4f9f
ff60ffe
0731a15
f61e035
141d749
3d0b692
d8ad703
3bd6c61
ee6f790
da3594a
671efd6
b06371f
1399e36
f92d4d7
b06f5bc
48a2374
39f0752
042cc03
cb8e5a5
af4b579
6508273
02a9ac9
b21b4a4
932cbbd
b970c8d
80ff3e2
06aa32e
ff2f1c2
39c8b2c
f1644b3
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think
?
is redundant. it's typechecked.