Revision 28db6c7a1159bba9e1745416df0f2917c5e9324c authored by tecosaur on 05 February 2024, 22:36:10 UTC, committed by GitHub on 05 February 2024, 22:36:10 UTC
In f117a500ca93 code modifying annotations via list comprehensions was
introduced. However, when (1) there are annotations present and (2) all
annotations are filtered out, this comprehension is inferred to a wider
type incompatible with the AnnotatedString constructor. This can be
fixed by changing the first element of the tuple to directly use the
UnitRange{Int} constructor, which stops it being inferred as an Any.
1 parent cfcf8a0
History
File Mode Size
Dockerfile -rw-r--r-- 140 bytes
devcontainer.json -rw-r--r-- 134 bytes

back to top