[feature] command for measuring type annotation coverage (pyrefly report)

[yangdanny97]

Something like pyright's --verifytypes or mypy's --report. The latter generates XML/HTML coverage reports

https://mypy.readthedocs.io/en/stable/config_file.html#report-generation

[github-actions[bot]]

This issue has someone assigned, but has not had recent activity for more than 2 weeks.

If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.

Thank you for your contributions!

[maggiemoss]

Still working on this!

[github-actions[bot]]

This issue has someone assigned, but has not had recent activity for more than 2 weeks.

If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.

Thank you for your contributions!

[github-actions[bot]]

This issue has someone assigned, but has not had recent activity for more than 2 weeks.

If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.

Thank you for your contributions!

[asukaminato0721]

I tried to impl this https://github.com/asukaminato0721/pyrefly/tree/496

[yangdanny97]

It's undocumented right now, but I believe there's a basic implementation already in pyrefly, you should be able to see it if you run pyrefly report

[asukaminato0721]

I found it, and added a bit html output for it :P

def foo(x: int):
    ...
def bar(x):
    ...
foo(1)

will generate this html

index.html