mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
45bb1fffb8
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
7 lines
107 B
Python
7 lines
107 B
Python
from typing import Never
|
|
|
|
def stop() -> Never:
|
|
raise RuntimeError('no way')
|
|
|
|
stop()
|
|
print("ureachable") |