2 Commits

Author SHA1 Message Date
practicalswift
6d1ae2a39c [gardening] 2016 → 2017 2017-01-06 16:41:22 +01:00
Slava Pestov
a52ad69c1e Sema: Avoid validateDecl() recursion through the 'unsupported existential' check
When type-checking decls, we would ensure they don't reference
existential types formed from protocols with associated types
or 'Self' requirements. However this check was done in both
'stage 1' and 'stage 2', which meant it would be called
recursively from validateDecl().

Fix this by performing the check only once at the end of
type checking a source file.
2016-12-12 20:41:03 -08:00