Commit 2025-01-17 05:44 7f65e5d6
View on Github →chore: restore def to adicCompletion (#20796)
#13020 turned this into an abbrev. The definition is kinda scary so I would argue we try to keep it behind the veil and only expose it when necessary. As a bonus, this fixes a crashing instance synthesis Zulip.