Why is favoring disallowed when any of the OverloadedDeclRefExprs involve variadic generics? The check is here CSGen.cpp:592 and gets passed to favorCallOverloads.
Why I'm wondering:
- Getting rid of it doesn't break any smoke tests (on macosx-arm64).
- I think it's what creates the need to special case pack expansions in
isDeclAsSpecializedAs(in CSRanking.cpp). I tried working around this, but there doesn't seem to be a clean way to do so without changes toInputMatcher.