Pavel Yaskevich ca14ab7157 [CSSyntaticElement] Desugar types before collecting "in scope" type variables ...

Generic type aliases, unless desugared, could bring unrelated type variables
into the scope i.e. `TypeAlias<$T, $U>.Context` is actually `_Context<$U>`.
These variables could be inferrable only after the the body the closure is
solved. To avoid that, let's adjust `TypeVariableRefFinder` to desugar types
before collecting referenced type variables.

Resolves: rdar://107835060

2023-04-10 15:33:03 -07:00

88 KiB

Raw Blame History

View Raw