`disable_error_code`-`misc` would also mute `reveal_type`?

Abierto
#19,840 6 comentarios 3 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
48/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
python
Área
tooling

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 topic-error-reporting

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

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de python/mypy

Todos los issues de python/mypy

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.