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
.git-blame-ignore-revs
# .git-blame-ignore-revs
# whitespace: end text files with single newlines
3903fa54a638d4546ef50e56f91f0705a8ab11ef
# whitespace: use only UNIX line endings (\n)
e66bfa5dd32f93e76068c00ad882c1fc839c5af8
# whitespace: replace non-breaking space => space
100a741e7ab38c91d48cc929bb001afc8e09261f
# whitespace: replace tabs => space
b03e8ab9c7bd3e001add519571858fa04d6a249b
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...