Describe the Bug

from typing import no_type_check

@no_type_check
def f() -> None: ...  # E: missing a return annotation [unannotated-return]

removing -> None makes no difference

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN3pcAfSbEYQgMYALGBIDWAHXRKAAoJHNx02YqwwwdMAAoAlHQC0APjoA5XOhiI6hFyAA0IMpX1RShBrRQFADaMJTUlHAAukoArugYggyoDDCY5t4MsZTodAC8dAogYRFFIAC%2BHqgSDBAAbjAAYtAwFGhYeERkFUA

(Only applicable for extension issues) IDE Information

No response