Skip to content

WIP: Enable IDE0019: InlineAsTypeCheck #13895

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
Closed
xtqqczze wants to merge 4 commits into from
Closed

WIP: Enable IDE0019: InlineAsTypeCheck #13895

xtqqczze wants to merge 4 commits into from

Conversation

@xtqqczze
Copy link
Contributor

@xtqqczze xtqqczze commented Oct 26, 2020 •
edited
Loading

@ghost ghost assigned daxian-dbw Oct 26, 2020
@xtqqczze xtqqczze mentioned this pull request Oct 26, 2020
Merged
8 tasks
@ghost ghost added the Waiting on Author The PR was reviewed and requires changes or comments from the author before being accept label Nov 2, 2020
@ghost ghost removed the Waiting on Author The PR was reviewed and requires changes or comments from the author before being accept label Nov 5, 2020
@ghost ghost added the Waiting on Author The PR was reviewed and requires changes or comments from the author before being accept label Nov 9, 2020
@iSazonov
Copy link
Collaborator

iSazonov commented Nov 21, 2020

@xtqqczze Please split the PR.

@ghost ghost added the Stale label Dec 6, 2020
@ghost
Copy link

ghost commented Dec 6, 2020

This pull request has been automatically marked as stale because it has been marked as requiring author feedback but has not had any activity for 15 days. It will be closed if no further activity occurs within 10 days of this comment.

@ghost ghost closed this Dec 16, 2020
@xtqqczze
Copy link
Contributor Author

xtqqczze commented Oct 27, 2022

This can be looked at again now dotnet/roslyn#37398 is resolved.

@ghost ghost removed Waiting on Author The PR was reviewed and requires changes or comments from the author before being accept Stale labels Oct 27, 2022
@xtqqczze xtqqczze mentioned this pull request Oct 27, 2022
Closed
@xtqqczze xtqqczze deleted the IDE0019 branch August 26, 2025 21:23
@xtqqczze xtqqczze restored the IDE0019 branch August 26, 2025 21:24
@xtqqczze xtqqczze deleted the IDE0019 branch August 26, 2025 21:24
@xtqqczze
Copy link
Contributor Author

xtqqczze commented Aug 26, 2025

Superseded by #25920.

This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@daxian-dbw daxian-dbw Awaiting requested review from daxian-dbw daxian-dbw will be requested when the pull request is marked ready for review daxian-dbw is a code owner

@TravisEz13 TravisEz13 Awaiting requested review from TravisEz13 TravisEz13 will be requested when the pull request is marked ready for review TravisEz13 is a code owner

Assignees

@daxian-dbw daxian-dbw

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@xtqqczze @iSazonov @daxian-dbw