Special handling for Array#min, max, etc.
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Empieza leyendo la definición RBS de Array[Elem]#min y la ruta de inferencia de tipos para tuplas no vacías. Sigue cómo se resuelve el ejemplo [1, 2, 3].min.to_s(2); la tarea está terminada cuando min, max y los métodos relacionados de una tupla no vacía se infieren como Elem en lugar de Elem | nil, de modo que el ejemplo ya no informe de nil#to_s.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
as = [1, 2, 3]
as.min.to_s(2) #=> [error] failed to resolve overload: nil#to_s
Array[Elem]#min returns Elem | nil in RBS definition. It is correct but it would be useful to return Elem when the receiver is a non-empty tuple.
- Lenguaje dominante
- Ruby
- Estrellas
- 833
- Forks
- 99
- Merge medio
- 9 h 30 min
- PR fusionados (30 d)
- 12
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
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 ruby/typeprof
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
-
invalid option: --init Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 25/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 38/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 30/100
Todos los issues de ruby/typeprof
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
palladius/rails8-app-on-gcp#145 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
rubocop/rubocop-rspec#2236 ·
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
riscv/riscv-unified-db#2624 · 1 reacción ·
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100