Closed
Description
See #1863 (comment) for more context -- there's some difficult-to-follow code in completions.rs.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
See #1863 (comment) for more context -- there's some difficult-to-follow code in completions.rs.