Stop annotating recursion tags

This commit is contained in:
snobee 2025-01-15 20:57:00 -08:00
parent 1ec619f4f0
commit c519ab7ee1
No known key found for this signature in database
GPG key ID: ABF756C92D69FDF1

View file

@ -372,6 +372,7 @@ pub fn annotation_edits(
)
| abilities.is_specialization_name(symbol.value)
| matches!(subs.get_content_without_compacting(var), Content::Error)
| matches!(tag, DeclarationTag::MutualRecursion { .. })
{
return None;
}