python / python/mypy

False positive with strict_optional disabled just in submodule

Abierto
#15,914 0 comentarios 2 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Merge medio
1 d 18 h
PR fusionados (30 d)
54

Descripción

Bug Report

(A clear and concise description of what the bug is.)

To Reproduce

The simplest example I got is the below setup, which I also attach here for convenience.

Directory structure:

.
├── my_subdir
│   ├── dog.py
│   └── __init__.py
├── pyproject.toml
└── repro.py

and the files are:

[tool.poetry.dependencies]
python = "^3.11.2"


[tool.poetry.dev-dependencies]
mypy = "1.5.1"


[tool.mypy]
strict_optional = true


[[tool.mypy.overrides]]
module = "my_subdir.*"
strict_optional = false
# dog.py
from dataclasses import dataclass

@dataclass
class Dog:
   height: float | None
# repro.py
from my_subdir.dog import Dog

height: float | None = 1.0
Dog(height)

Now, enter command: mypy repro.py.

Expected Behavior

No errors

Actual Behavior

repro.py:4: error: Argument 1 to "Dog" has incompatible type "float | None"; expected "float"  [arg-type]

Your Environment

  • Mypy version used: 1.5.1
  • Mypy command-line flags: _none)
  • Python version used: 3.11.4

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.

Línea de trabajo

Empieza ejecutando mypy repro.py con la configuración indicada de pyproject.toml, my_subdir/dog.py y repro.py. Sigue cómo se aplica la configuración tool.mypy.overrides para my_subdir.* al comprobar el constructor importado de Dog. La tarea está terminada cuando el comando no informa de ningún error incompatible-type para el argumento height nullable.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
compilers
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bien especificado
Aptitud para principiantes
45/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.