Behavior of HasType and HasInterface is counter-intuitive
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
Comienza en markers/markers.go, especialmente en If y su uso de UnwrapOnce, y luego compara el comportamiento de recorrido de HasType y HasInterface con Is y As para los multi-errors. Revisa el contexto de las pruebas basadas en propiedades en Sourcegraph PR 62992. Se considera terminado cuando se haya resuelto o documentado la diferencia de recorrido y se haya añadido cobertura para el comportamiento elegido.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Both of these functions call If which does a traversal of the causal chain, it does not traverse the full tree. Specifically, If internally calls UnwrapOnce and doesn't handle the multi-error case, whereas functions like Is and As separately handle the multi-error case.
This leads to counter-intuitive behavior; you can have a value x of type T, and errors.Is(err, x) may be true, but errors.HasType(err, T{}) may fail.
I noticed this behavior while trying to add property-based tests to better understand the behavior of HasType here. https://github.com/sourcegraph/sourcegraph/pull/62992
It would be valuable to either:
- Change the implementation of
Ifto traverse the full tree - OR Add a separate function which does a tree traversal (not just the "causal chain") and use that from
HasTypeandHasInterface - OR Add a cautionary warning to
HasTypeandHasInterface's docs which describe the behavior in the presence of multi-errors.
- Lenguaje dominante
- Go
- Estrellas
- 2.5k
- Forks
- 75
- Métricas de merge de PR
- Sin PR fusionados en 30 d
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 cockroachdb/errors
-
Errors returned from Join are incompatible with errors returned the standard lib's errors.Join Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
cockroachdb/errors#162 · 1 comentario ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
cockroachdb/errors#156 · 20 reacciones ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
cockroachdb/errors#155 · 1 comentario · 1 reacción ·
-
move subpackages to internal Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
cockroachdb/errors#146 ·
-
Gogoprotobuf replacement Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
cockroachdb/errors#138 · 4 comentarios · 2 reacciones ·
Todos los issues de cockroachdb/errors
Issues similares
-
area/dev-productivity area/disaster-recovery area/ipcei kind/enhancement
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
kind/bug status/0-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
🤔 refinement needed
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
equinor/radix-operator#1979 ·