Files
openide/python/testData/codeInsight/controlflow/ControlFlowIsAbruptAfterNever.txt
Daniil Kalinin 45bb1fffb8 PY-24273, PY-53703 Support for functions annotated with typing.NoReturn and typing.Never
Functions annotated with `NoReturn` and `Never` now taken into account in the Control Flow Graph building process, and the code after calling such functions is treated as unreachable.

Merge-request: IJ-MR-105973
Merged-by: Daniil Kalinin <Daniil.Kalinin@jetbrains.com>

GitOrigin-RevId: ef5840ae6e593498fc334dc9bd2daadccebf2b13
2023-06-13 22:08:30 +00:00

10 lines
268 B
Plaintext

0(1) element: null
1(2) element: PyFromImportStatement
2(3) WRITE ACCESS: Never
3(4) element: PyFunction('stop')
4(5) READ ACCESS: Never
5(6) WRITE ACCESS: stop
6(7) element: PyExpressionStatement
7(9) READ ACCESS: stop
8(9) element: PyPrintStatement
9() element: null