Skip to content
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

add reportUnreachable option #34

Merged
merged 12 commits into from
Jan 24, 2024
Merged

add reportUnreachable option #34

merged 12 commits into from
Jan 24, 2024

Conversation

DetachHead
Copy link
Owner

@DetachHead DetachHead commented Jan 17, 2024

fixes #11

partially addresses #7. need to figure out why some unreachable code gets checked now but not others

@DetachHead DetachHead changed the title Unreachable add reportUnreachable option Jan 17, 2024

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Copy link
Contributor

Diff from mypy_primer, showing the effect of this PR on open source code:

dd-trace-py (https://github.com/DataDog/dd-trace-py)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:182:12 - error: "span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:182:17 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:183:12 - error: "span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:183:17 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:184:12 - error: "span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:184:17 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:185:12 - error: "span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_span.py:185:17 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:33:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:33:22 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:35:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:35:22 - error: Cannot access member "is_recording" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:36:5 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:36:15 - error: Cannot access member "end" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:63:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:63:22 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:64:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:64:22 - error: Cannot access member "is_recording" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:65:12 - error: "root" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:65:17 - error: Cannot access member "is_recording" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:66:5 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:66:15 - error: Cannot access member "end" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:67:5 - error: "root" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:67:10 - error: Cannot access member "end" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:131:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:131:22 - error: Cannot access member "_ddspan" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:133:12 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:133:22 - error: Cannot access member "is_recording" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:134:5 - error: "otel_span" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/opentelemetry/test_trace.py:134:15 - error: Cannot access member "end" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:549:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:549:14 - error: Cannot access member "error" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:550:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:550:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:551:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:551:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:552:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:552:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:554:14 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__"
+     "None" is incompatible with "str" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:555:5 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:555:7 - error: Cannot access member "_ignore_exception" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:558:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __enter__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:558:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __exit__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:558:14 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:562:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __enter__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:562:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __exit__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:562:14 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:565:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:565:14 - error: Cannot access member "error" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:566:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:566:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:567:30 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:567:32 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:568:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:568:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:581:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __enter__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:581:14 - error: Object of type "Unbound" cannot be used with "with" because it does not implement __exit__ (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:581:14 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:584:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:584:14 - error: Cannot access member "error" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:585:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:585:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:586:12 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:586:14 - error: Cannot access member "get_tag" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/tracer/test_span.py:587:12 - error: "s" is unbound (reportUnboundVariable)

... (truncated 14 lines) ...

spack (https://github.com/spack/spack)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:305:30 - error: "pkg" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:305:34 - error: Cannot access member "tester" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:307:16 - error: "status" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:335:30 - error: "pkg" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:335:34 - error: Cannot access member "tester" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/test_suite.py:337:16 - error: "status" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:684:18 - error: "Unbound" is not iterable (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:684:18 - error: "to_be_checked" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:685:31 - error: "entry" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:703:12 - error: "file1" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:703:18 - error: Cannot access member "read" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:704:12 - error: "file2" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/filesystem.py:704:18 - error: Cannot access member "read" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:294:12 - error: "h" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:294:14 - error: Cannot access member "grouped_message" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:301:20 - error: "h" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:301:22 - error: Cannot access member "grouped_message" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:302:60 - error: "full_message" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:305:9 - error: "no_line_numbers" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:333:14 - error: "h" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:333:16 - error: Cannot access member "forward" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:336:15 - error: "h" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:336:17 - error: Cannot access member "grouped_message" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:337:12 - error: Operator "in" not supported for types "Literal['catch-runtime-error']" and "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:337:37 - error: "message" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:338:12 - error: Operator "not in" not supported for types "Literal['catch-value-error']" and "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lang.py:338:39 - error: "message" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:952:12 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:953:12 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:954:12 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:958:5 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:958:10 - error: Cannot access member "clear" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:961:22 - error: "lock" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:964:12 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:965:12 - error: "vals" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/test/llnl/util/lock.py:966:12 - error: "vals" is unbound (reportUnboundVariable)
- 23713 errors, 78 warnings, 0 informations 
+ 23749 errors, 78 warnings, 0 informations 

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:146:9 - error: "mock_try_acquire" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:146:26 - error: Cannot access member "assert_awaited_once_with" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:146:61 - error: "mock_ctx" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:147:9 - error: "mock_release" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:147:22 - error: Cannot access member "assert_awaited_once_with" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:147:57 - error: "mock_ctx" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:148:9 - error: "mock_error_callback" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:148:29 - error: Cannot access member "assert_not_called" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:328:9 - error: "mock_try_acquire" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:328:26 - error: Cannot access member "assert_awaited_once_with" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:328:61 - error: "mock_ctx" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:329:9 - error: "mock_release" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:329:22 - error: Cannot access member "assert_awaited_once_with" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:329:57 - error: "mock_ctx" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:330:9 - error: "mock_error_callback" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/Tanjun/tests/dependencies/test_limiters.py:330:29 - error: Cannot access member "assert_not_called" for type "Unbound" (reportGeneralTypeIssues)
- 2376 errors, 6752 warnings, 0 informations 
+ 2392 errors, 6752 warnings, 0 informations 

koda-validate (https://github.com/keithasaurus/koda-validate)
+   /tmp/mypy_primer/projects/koda-validate/koda_validate/typehints.py:180:23 - error: "NotRequired" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/koda-validate/koda_validate/typehints.py:180:48 - error: "Required" is not defined (reportUndefinedVariable)
- 173 errors, 3 warnings, 0 informations 
+ 175 errors, 3 warnings, 0 informations 

trio (https://github.com/python-trio/trio)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:95:13 - error: Type of "exc" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:95:20 - error: Type of "value" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:95:20 - error: Type of "exceptions" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:95:20 - error: "excinfo" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:95:28 - error: Cannot access member "value" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_exceptiongroup_gc.py:96:31 - error: "exc" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1038:16 - error: Type of "value" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1038:16 - error: Type of "__context__" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1038:16 - error: "excinfo" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1038:24 - error: Cannot access member "value" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1057:16 - error: Type of "value" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1057:16 - error: Type of "__context__" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1057:16 - error: "excinfo" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:1057:24 - error: Cannot access member "value" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:2163:10 - error: Type of "raises" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_tests/test_run.py:2167:21 - error: "_create" is protected and used outside of the class in which it is declared (reportPrivateUsage)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:52:10 - error: Type of "raises" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:54:13 - error: Type of "add" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:54:13 - error: "to_close" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:54:22 - error: Cannot access member "add" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:55:13 - error: Type of "add" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:55:13 - error: "to_close" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_tcp_stream.py:55:22 - error: Cannot access member "add" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_unix_stream.py:34:12 - error: Type of "closed" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_unix_stream.py:34:12 - error: "c" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/_tests/test_highlevel_open_unix_stream.py:34:14 - error: Cannot access member "closed" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:255:33 - error: Argument type is unknown
+     Argument corresponds to parameter "resource" in function "aclose_forcefully" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:255:33 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:269:13 - error: Type of "cancel" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:269:13 - error: "scope" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:269:19 - error: Cannot access member "cancel" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:270:19 - error: Type of "aclose" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:270:19 - error: "r" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:270:21 - error: Cannot access member "aclose" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:273:13 - error: Type of "cancel" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:273:13 - error: "scope" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:273:19 - error: Cannot access member "cancel" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:274:19 - error: Type of "aclose" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:274:19 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:274:21 - error: Cannot access member "aclose" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:302:13 - error: Type of "cancel" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:302:13 - error: "scope" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:302:19 - error: Cannot access member "cancel" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:304:17 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:304:17 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:304:25 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:305:17 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:305:17 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:305:25 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:308:13 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:308:13 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:308:21 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:308:43 - error: "s" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:309:13 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:309:13 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:309:21 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:309:43 - error: "r" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:320:13 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:320:13 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:320:21 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:322:37 - error: Argument type is unknown
+     Argument corresponds to parameter "resource" in function "aclose_forcefully" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:322:37 - error: "r" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:326:42 - error: Object of type "None" cannot be called (reportOptionalCall)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:344:17 - error: Type of "start_soon" is unknown (reportUnknownMemberType)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:344:17 - error: "nursery" is unbound (reportUnboundVariable)
+   /tmp/mypy_primer/projects/trio/src/trio/testing/_check_streams.py:344:25 - error: Cannot access member "start_soon" for type "Unbound" (reportGeneralTypeIssues)

... (truncated 76 lines) ...

@DetachHead DetachHead merged commit ef565c7 into main Jan 24, 2024
10 checks passed
@DetachHead DetachHead deleted the unreachable branch January 24, 2024 10:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

option to ban unreachable code
2 participants