coverage report produces too many Anys

Bug Report

When generating a coverage report there are too many Anys reported for lines. I've figured out how it's counting Anys and I may be able to help with a patch.

To Reproduce

1. def test() -> str:
     value: str = getattr(test, '__name__')
     return value
   

2. mypy --html-report . test.py
3. View generated html/test.py.html

Expected Behavior

As mypy reported a success, I would expect no Anys, but maximally I would expect 1.

Actual Behavior

Mypy reports 4 explicit anys on the getattr line.

When stepping through the StatisticsVisitor visit I noticed this is because when visiting a call expression:

https://github.com/python/mypy/blob/d089891198ef470c8bec9bd7d7b50a02757c5b68/mypy/stats.py#L217-L225

1. The call expression itself is processed, which first starts with the node itself. Because the result of getattr is Any the visitor has Any in its typemap for that node. This is arguably the only Any that I would expect, and it probably should still not be reported because there is an explicit type on the assignment (I do note that assignment could be wrong, and maybe this should be reported as a partial cover).
2. The callee is then visited which will be processing the node with type def (Any, name: builtins.str, Any =) -> Any, in StatisticsVisitor.type it calls get_proper_types(collect_all_inner_types(t)) + [t] which is [Any, builtins.str, Any, Any, def (Any, name: builtins.str, Any =) -> Any] which will add 3 more Anys to the line. Now that I'm looking at it closer, if I had added Anys to the type definition of test they would increase the number of Anys on the line when visiting the arguments to getattr.

Your Environment

• Mypy version used: mypy 0.812
• Mypy command-line flags: --html-report .
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: Python 3.8.8
• Operating system and version: N/A

Comienza por mypy/stats.py, alrededor del manejo de expresiones de llamada de StatisticsVisitor mencionado en el informe, y reproduce el caso con mypy --html-report . test.py. Rastrea cómo contribuyen los tipos de la llamada, el callee y los argumentos al informe de cobertura HTML; se considera terminado cuando el ejemplo deja de contar repetidamente los tipos Any anidados y el total informado coincide con el comportamiento esperado.