untyped_error picks coverage-missing vs coverage-partial from n_untyped alone, ignoring strict mode:
from typing import Any
def f(x: Any) -> Any: ...
WARN `f` is not fully typed [coverage-partial]
--> all_any.py:3:1
|
3 | def f(x: Any) -> Any: ...
| -------------------------
|
ERROR strict type coverage 0.00% (0 of 2 typable) is below the 100.00% threshold
Under --strict every slot here counts as untyped, so this should be coverage-missing.
It's not the end of the world, but it's a bit confusing I think. And if #3919 gets merged, then this will become a bigger problem.
untyped_errorpickscoverage-missingvscoverage-partialfromn_untypedalone, ignoring strict mode:Under
--strictevery slot here counts as untyped, so this should becoverage-missing.It's not the end of the world, but it's a bit confusing I think. And if #3919 gets merged, then this will become a bigger problem.