We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
pyre-ignore
pyrefly: ignore
1 parent 9df7f95 commit 82ce6aeCopy full SHA for 82ce6ae
website/docs/error-kinds.mdx
@@ -1338,6 +1338,6 @@ async def bar():
1338
1339
## unused-ignore
1340
1341
-This error is raised when a `# pyre-ignore` comment is not used to suppress an error, and can be safely removed.
+This error is raised when a `# pyrefly: ignore` comment is not used to suppress an error, and can be safely removed.
1342
1343
The default severity of this diagnostic is `ignore`.
0 commit comments