Skip to content

pyrefly coverage check --strict labels fully-Any symbols as partially typed #4024

Description

@jorenham

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.

Metadata

Metadata

Assignees

Labels

coverageIssues related to `pyrefly coverage`, `pyrefly report`quansight

Type

Fields

No fields configured for Bug.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions