A question born out of a discussion over on the Predicate pitch—do we foresee any paths to allow a macro callsite, which might apply arbitrary transformations to its inputs, to support autocomplete?
Thinking about macros as a system designed to be able to replicate a compiler-integrated feature like result builders, which has rich type-checking needs. Could a macro-based system conceivably support a comparable developer experience for an IDE integration like autocomplete?
(Recognize that developer experience considerations like these may not be strictly topical for a proposal review, but wanted to ask!)