[ty] Add a new `empty-body` return code for functions with stub bodies that have non-`None` return annotations by maifeeulasad · Pull Request #22846 · astral-sh/ruff

maifeeulasad · 2026-01-25T14:08:14Z

Summary

Split error for empty function body into its own error code

closes astral-sh/ty#1922

Test Plan

Ran individual test:

cargo test --test mdtest -- empty_body

Ran full test:

cargo test --test mdtest

- astral-sh/ty#1922

astral-sh-bot · 2026-01-25T14:15:13Z

Typing conformance results

No changes detected ✅

crates/ty_python_semantic/resources/mdtest/function/empty_body.md

astral-sh-bot · 2026-01-25T14:16:29Z

`mypy_primer` results

Changes were detected when running on open source projects

attrs (https://github.com/python-attrs/attrs)
- tests/test_converters.py:101:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ tests/test_converters.py:101:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`

parso (https://github.com/davidhalter/parso)
- parso/tree.py:137:28: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[int, int]`
+ parso/tree.py:137:28: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[int, int]`
- parso/tree.py:145:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[int, int]`
+ parso/tree.py:145:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[int, int]`

async-utils (https://github.com/mikeshardmind/async-utils)
- src/async_utils/_graphs.py:38:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ src/async_utils/_graphs.py:38:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- src/async_utils/_graphs.py:39:62: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ src/async_utils/_graphs.py:39:62: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- src/async_utils/corofunc_cache.py:50:58: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `CoroFunc[P@f__call__, R@f__call__]`
+ src/async_utils/corofunc_cache.py:50:58: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `CoroFunc[P@f__call__, R@f__call__]`
- src/async_utils/task_cache.py:53:62: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `TaskFunc[P@f__call__, R@f__call__]`
+ src/async_utils/task_cache.py:53:62: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `TaskFunc[P@f__call__, R@f__call__]`

pytest (https://github.com/pytest-dev/pytest)
- src/_pytest/hookspec.py:1039:6: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str | list[str]`
+ src/_pytest/hookspec.py:1039:6: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str | list[str]`
- src/_pytest/hookspec.py:1075:6: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str | tuple[str, Mapping[str, bool]]]`
+ src/_pytest/hookspec.py:1075:6: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str | tuple[str, Mapping[str, bool]]]`
- src/_pytest/hookspec.py:1173:6: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `dict[str, Any]`
+ src/_pytest/hookspec.py:1173:6: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `dict[str, Any]`

ignite (https://github.com/pytorch/ignite)
- ignite/handlers/tqdm_logger.py:233:10: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `RemovableEventHandle`
+ ignite/handlers/tqdm_logger.py:233:10: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `RemovableEventHandle`

schemathesis (https://github.com/schemathesis/schemathesis)
- src/schemathesis/hooks.py:346:91: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
+ src/schemathesis/hooks.py:346:91: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
- src/schemathesis/hooks.py:351:83: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
+ src/schemathesis/hooks.py:351:83: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
- src/schemathesis/hooks.py:356:83: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
+ src/schemathesis/hooks.py:356:83: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
- src/schemathesis/hooks.py:361:81: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
+ src/schemathesis/hooks.py:361:81: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
- src/schemathesis/hooks.py:366:80: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
+ src/schemathesis/hooks.py:366:80: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Any]`
- src/schemathesis/hooks.py:371:86: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Case]`
+ src/schemathesis/hooks.py:371:86: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `SearchStrategy[Case]`

mitmproxy (https://github.com/mitmproxy/mitmproxy)
- test/mitmproxy/test_command.py:74:29: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Unsupported`
+ test/mitmproxy/test_command.py:74:29: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Unsupported`

mypy (https://github.com/python/mypy)
- mypyc/test-data/fixtures/ir.py:45:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:45:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:46:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:46:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:47:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:47:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:67:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:67:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:68:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:68:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:69:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:69:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:70:64: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:70:64: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:71:39: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:71:39: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:72:40: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:72:40: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:73:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:73:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:74:39: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[int | float, int | float]`
+ mypyc/test-data/fixtures/ir.py:74:39: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[int | float, int | float]`
- mypyc/test-data/fixtures/ir.py:75:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:75:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:76:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:76:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:77:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:77:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:78:29: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:78:29: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:79:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:79:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:80:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:80:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:81:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:81:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:82:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:82:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:83:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:83:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:84:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:84:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:85:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:85:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:86:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:86:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:87:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:87:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:88:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:88:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:89:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:89:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:90:77: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:90:77: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:91:29: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:91:29: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:98:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:98:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:99:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:99:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:100:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:100:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:101:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:101:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:102:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:102:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:103:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:103:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:104:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:104:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:105:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:105:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:106:33: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:106:33: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:111:42: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:111:42: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:112:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[str]`
+ mypyc/test-data/fixtures/ir.py:112:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[str]`
- mypyc/test-data/fixtures/ir.py:113:92: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:113:92: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:114:93: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:114:93: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:115:71: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
+ mypyc/test-data/fixtures/ir.py:115:71: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
- mypyc/test-data/fixtures/ir.py:116:72: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
+ mypyc/test-data/fixtures/ir.py:116:72: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
- mypyc/test-data/fixtures/ir.py:117:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
+ mypyc/test-data/fixtures/ir.py:117:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[str]`
- mypyc/test-data/fixtures/ir.py:118:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:118:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:119:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:119:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:120:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:120:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:121:41: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:121:41: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:122:52: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:122:52: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:123:24: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:123:24: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:124:91: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:124:91: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:125:89: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:125:89: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:126:65: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:126:65: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:127:61: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:127:61: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:128:41: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str]`
+ mypyc/test-data/fixtures/ir.py:128:41: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str]`
- mypyc/test-data/fixtures/ir.py:129:42: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str]`
+ mypyc/test-data/fixtures/ir.py:129:42: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[str, str, str]`
- mypyc/test-data/fixtures/ir.py:130:47: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:130:47: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:131:47: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:131:47: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:132:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:132:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:133:93: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:133:93: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:137:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:137:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:138:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:138:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:139:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:139:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:140:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:140:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:141:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:141:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:142:40: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:142:40: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:143:41: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:143:41: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:144:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:144:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:145:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:145:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:146:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:146:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:147:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:147:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:148:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:148:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:149:29: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float`
+ mypyc/test-data/fixtures/ir.py:149:29: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float`
- mypyc/test-data/fixtures/ir.py:150:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:150:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:151:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:151:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:152:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:152:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:153:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:153:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:154:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:154:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:155:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:155:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:159:38: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:159:38: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:160:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:160:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:161:38: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:161:38: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:162:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:162:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:163:38: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:163:38: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:164:42: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:164:42: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:165:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
+ mypyc/test-data/fixtures/ir.py:165:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int | float | complex`
- mypyc/test-data/fixtures/ir.py:172:48: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:172:48: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:173:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:173:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:174:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:174:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:175:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:175:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:176:36: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:176:36: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:181:44: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:181:44: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:182:61: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:182:61: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:183:50: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytes`
+ mypyc/test-data/fixtures/ir.py:183:50: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytes`
- mypyc/test-data/fixtures/ir.py:184:51: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:184:51: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:185:49: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:185:49: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:186:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[int]`
+ mypyc/test-data/fixtures/ir.py:186:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[int]`
- mypyc/test-data/fixtures/ir.py:195:48: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bytearray`
+ mypyc/test-data/fixtures/ir.py:195:48: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bytearray`
- mypyc/test-data/fixtures/ir.py:201:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `str`
+ mypyc/test-data/fixtures/ir.py:201:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `str`
- mypyc/test-data/fixtures/ir.py:202:39: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:202:39: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:203:37: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `bool`
+ mypyc/test-data/fixtures/ir.py:203:37: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `bool`
- mypyc/test-data/fixtures/ir.py:226:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:226:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:227:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[T_co@tuple]`
+ mypyc/test-data/fixtures/ir.py:227:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[T_co@tuple]`
- mypyc/test-data/fixtures/ir.py:228:45: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:228:45: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:233:41: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[T_co@tuple, ...]`
+ mypyc/test-data/fixtures/ir.py:233:41: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[T_co@tuple, ...]`
- mypyc/test-data/fixtures/ir.py:234:42: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `tuple[T_co@tuple, ...]`
+ mypyc/test-data/fixtures/ir.py:234:42: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `tuple[T_co@tuple, ...]`
- mypyc/test-data/fixtures/ir.py:246:34: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
+ mypyc/test-data/fixtures/ir.py:246:34: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
- mypyc/test-data/fixtures/ir.py:247:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
+ mypyc/test-data/fixtures/ir.py:247:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
- mypyc/test-data/fixtures/ir.py:248:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
+ mypyc/test-data/fixtures/ir.py:248:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
- mypyc/test-data/fixtures/ir.py:249:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@list]`
+ mypyc/test-data/fixtures/ir.py:249:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@list]`
- mypyc/test-data/fixtures/ir.py:250:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:250:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:251:45: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:251:45: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:258:35: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_T@list`
+ mypyc/test-data/fixtures/ir.py:258:35: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_T@list`
- mypyc/test-data/fixtures/ir.py:259:31: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:259:31: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:265:31: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:265:31: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:267:23: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
+ mypyc/test-data/fixtures/ir.py:267:23: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `list[_T@list]`
- mypyc/test-data/fixtures/ir.py:276:39: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_V@dict`
+ mypyc/test-data/fixtures/ir.py:276:39: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_V@dict`
- mypyc/test-data/fixtures/ir.py:279:45: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:279:45: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:280:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_K@dict]`
+ mypyc/test-data/fixtures/ir.py:280:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_K@dict]`
- mypyc/test-data/fixtures/ir.py:281:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:281:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:288:30: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_K@dict`
+ mypyc/test-data/fixtures/ir.py:288:30: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_K@dict`
- mypyc/test-data/fixtures/ir.py:289:23: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterable[_K@dict]`
+ mypyc/test-data/fixtures/ir.py:289:23: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterable[_K@dict]`
- mypyc/test-data/fixtures/ir.py:290:25: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterable[_V@dict]`
+ mypyc/test-data/fixtures/ir.py:290:25: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterable[_V@dict]`
- mypyc/test-data/fixtures/ir.py:291:24: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterable[tuple[_K@dict, _V@dict]]`
+ mypyc/test-data/fixtures/ir.py:291:24: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterable[tuple[_K@dict, _V@dict]]`
- mypyc/test-data/fixtures/ir.py:293:23: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `dict[_K@dict, _V@dict]`
+ mypyc/test-data/fixtures/ir.py:293:23: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `dict[_K@dict, _V@dict]`
- mypyc/test-data/fixtures/ir.py:294:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_V@dict`
+ mypyc/test-data/fixtures/ir.py:294:53: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_V@dict`
- mypyc/test-data/fixtures/ir.py:298:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@set]`
+ mypyc/test-data/fixtures/ir.py:298:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@set]`
- mypyc/test-data/fixtures/ir.py:299:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:299:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:304:22: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_T@set`
+ mypyc/test-data/fixtures/ir.py:304:22: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_T@set`
- mypyc/test-data/fixtures/ir.py:306:59: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `set[_T@set | _S@__or__]`
+ mypyc/test-data/fixtures/ir.py:306:59: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `set[_T@set | _S@__or__]`
- mypyc/test-data/fixtures/ir.py:307:60: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `set[_T@set | _S@__xor__]`
+ mypyc/test-data/fixtures/ir.py:307:60: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `set[_T@set | _S@__xor__]`
- mypyc/test-data/fixtures/ir.py:311:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@frozenset]`
+ mypyc/test-data/fixtures/ir.py:311:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[_T@frozenset]`
- mypyc/test-data/fixtures/ir.py:312:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:312:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:313:59: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `frozenset[_T@frozenset | _S@__or__]`
+ mypyc/test-data/fixtures/ir.py:313:59: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `frozenset[_T@frozenset | _S@__or__]`
- mypyc/test-data/fixtures/ir.py:314:60: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `frozenset[_T@frozenset | _S@__xor__]`
+ mypyc/test-data/fixtures/ir.py:314:60: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `frozenset[_T@frozenset | _S@__xor__]`
- mypyc/test-data/fixtures/ir.py:320:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `Iterator[int]`
+ mypyc/test-data/fixtures/ir.py:320:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `Iterator[int]`
- mypyc/test-data/fixtures/ir.py:321:26: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:321:26: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:322:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `int`
+ mypyc/test-data/fixtures/ir.py:322:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `int`
- mypyc/test-data/fixtures/ir.py:327:27: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `_S@map`
+ mypyc/test-data/fixtures/ir.py:327:27: error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_S@map`
- mypyc/test-data/fixtures/ir.py:334:53: error[invalid-return-type] Function always implicitly returns `None`, which is not assignable to return type `property`
+ mypyc/test-data/fix

... (truncated 2039 lines) ...

No memory usage changes detected ✅

AlexWaygood

Thanks!

maifeeulasad · 2026-01-25T16:19:27Z

Really appreciate it @AlexWaygood

maifeeulasad added 4 commits January 25, 2026 19:58

[ty] empty-body diagnostic for functions w empty bodies

e68b3ca

- astral-sh/ty#1922

[ty] test for new empty-body diagnostic

e0881ec

- astral-sh/ty#1922

[ty] keeping up test expectations related to empty-body

dfd137d

- astral-sh/ty#1922

[ty] generated and updated test snapshots related to empty-body

5b751cd

- astral-sh/ty#1922

maifeeulasad requested review from AlexWaygood, carljm, dcreager and sharkdp as code owners January 25, 2026 14:08

AlexWaygood changed the title ~~[ty] implemented empty-body~~ [ty] implement empty-body Jan 25, 2026

AlexWaygood added the ty Multi-file analysis & type inference label Jan 25, 2026

AlexWaygood reviewed Jan 25, 2026

View reviewed changes

crates/ty_python_semantic/resources/mdtest/function/empty_body.md Outdated Show resolved Hide resolved

fixes

552a750

AlexWaygood requested a review from MichaReiser as a code owner January 25, 2026 16:06

Merge branch 'main' into feat-empty-body-maifee

06018ba

AlexWaygood approved these changes Jan 25, 2026

View reviewed changes

AlexWaygood changed the title ~~[ty] implement empty-body~~ [ty] Add a new empty-body return code for functions with stub bodies that have non-None return annotations Jan 25, 2026

AlexWaygood enabled auto-merge (squash) January 25, 2026 16:10

AlexWaygood merged commit f83ce7f into astral-sh:main Jan 25, 2026
44 checks passed

maifeeulasad mentioned this pull request Feb 7, 2026

MAINT Migration from mypy to ty Azure/PyRIT#1319

Draft

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[ty] Add a new `empty-body` return code for functions with stub bodies that have non-`None` return annotations#22846

[ty] Add a new `empty-body` return code for functions with stub bodies that have non-`None` return annotations#22846
AlexWaygood merged 6 commits intoastral-sh:mainfrom
maifeeulasad:feat-empty-body-maifee

maifeeulasad commented Jan 25, 2026

Uh oh!

astral-sh-bot bot commented Jan 25, 2026 •

edited

Loading

Uh oh!

Uh oh!

astral-sh-bot bot commented Jan 25, 2026 •

edited

Loading

Uh oh!

AlexWaygood left a comment

Uh oh!

Uh oh!

maifeeulasad commented Jan 25, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

maifeeulasad commented Jan 25, 2026

Summary

Test Plan

Uh oh!

astral-sh-bot bot commented Jan 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Typing conformance results

Uh oh!

Uh oh!

astral-sh-bot bot commented Jan 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

mypy_primer results

Uh oh!

AlexWaygood left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

maifeeulasad commented Jan 25, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

astral-sh-bot bot commented Jan 25, 2026 •

edited

Loading

astral-sh-bot bot commented Jan 25, 2026 •

edited

Loading

`mypy_primer` results