`disable_error_code`-`misc` would also mute `reveal_type`?
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 48/100
Línea de trabajo
El comportamiento se reproduce con test_type.py y pyproject.toml; empieza ejecutando el comando de mypy mostrado con disable_error_code = ["misc"] y compáralo con el caso habilitado. Se considera completado cuando reveal_type sigue informando del tipo revelado mientras los diagnósticos de misc permanecen deshabilitados, con cobertura de regresión para este comportamiento.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Bug Report
disable_error_code-misc would also mute reveal_type?
To Reproduce
from typing import reveal_type
a: int = 1
reveal_type(a)
A dummy pyproject.toml:
[project]
name = "test"
version = "0.0.0"
description = "hi"
[tool.mypy]
disable_error_code = ["misc"]
Expected Behavior
If I don't have misc disabled:
➜ temp uv run mypy test_type.py
warning: No `requires-python` value found in the workspace. Defaulting to `>=3.13`.
test_type.py:4: note: Revealed type is "builtins.int"
Success: no issues found in 1 source file
Actual Behavior
➜ temp uv run mypy test_type.py
warning: No `requires-python` value found in the workspace. Defaulting to `>=3.13`.
Success: no issues found in 1 source file
Your Environment
- Mypy version used: 1.18.1
- Mypy command-line flags:
- Mypy configuration options from
mypy.ini(and other config files): - Python version used: 3.13.5
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Merge medio
- 1 d 18 h
- PR fusionados (30 d)
- 54
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de python/mypy
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
-
documentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
-
bug topic-configuration topic-error-reporting
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Todos los issues de python/mypy
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
zostera/django-bootstrap4#894 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
use-agent-os/agent-os#3276 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
zephyrproject-rtos/zephyr#119726 ·
-
area/auth bug comp/agent P3 platform/discord type/security
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
NousResearch/hermes-agent#117848 ·