Doug Gregor de4d4a4244 Teach the TypeRefinementContext not to skip declarations within macro expansions ...

The construction of type refinement contexts performs lazy expansion
for the contents of macro expansions, so that TRC creation doesn't
force all macros to be expanded. However, the logic that skips macro
expansions would *also* skip some declarations produced within a macro
expansion, even when building the TRC specifically for that macro
expansion buffer. This manifest as missing some availability
information within the TRC, rejecting some well-formed code.

Tune the logic for "don't visit macro expansions when building a TRC"
to recognize when we're building a TRC for that macro expansion.

Fixes rdar://128400301.

2024-11-10 07:32:00 -08:00

14 KiB

Raw Permalink Blame History

View Raw