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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...