Merge pull request #2846 from VWS-Python/chore/pyrefly-non-exhaustive-match-20260215

adamtheturtle · web-flow · commit f39f0677a8e2 · 2026-02-15T12:23:25.000Z
Add pyrefly non-exhaustive match as error
diff --git a/pyproject.toml b/pyproject.toml
@@ -302,6 +302,9 @@ plugins = [
     "mypy_strict_kwargs",
 ]
 
+[tool.pyrefly]
+errors.non-exhaustive-match = "error"
+
 [tool.pyright]
 enableTypeIgnoreComments = false
 reportUnnecessaryTypeIgnoreComment = true

Original file line number	Diff line number	Diff line change
`@@ -302,6 +302,9 @@ plugins = [`
`302`	`302`	`"mypy_strict_kwargs",`
`303`	`303`	`]`
`304`	`304`
	`305`	`+[tool.pyrefly]`
	`306`	`+errors.non-exhaustive-match = "error"`
	`307`	`+`
`305`	`308`	`[tool.pyright]`
`306`	`309`	`enableTypeIgnoreComments = false`
`307`	`310`	`reportUnnecessaryTypeIgnoreComment = true`