language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-12-23 05:36:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/tests/should_ok/never.er
Shunsuke Shibayama 7d696b5aa5 fix: subtyping bug
2023-07-07 23:45:45 +09:00

2 lines
33 B
Python
Raw Permalink Blame History

f() = if True, todo()
if True, f
Reference in a new issue View git blame Copy permalink