Skip to content

Remove almost all remaining uses of DeclChecker::IsFirstPass #15703

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

slavapestov
Copy link
Contributor

Follow-up to #15453. Also simplifies some weird logic in typo correction that was meant to get around circular validation problems in a hacky way.

@slavapestov
Copy link
Contributor Author

@swift-ci Please test

@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility

@swift-ci
Copy link
Contributor

swift-ci commented Apr 3, 2018

Build failed
Swift Test Linux Platform
Git Sha - 03341c29d546783cbab03e789356945cb5737781

@swift-ci
Copy link
Contributor

swift-ci commented Apr 3, 2018

Build failed
Swift Test OS X Platform
Git Sha - 03341c29d546783cbab03e789356945cb5737781

We can use the existing logic for checking recursion in
declaration validation. This eliminates some bogus
diagnostics and allows some weird logic to be removed
from typo correction.
With the previous changes, validating a property while
type checking its initializer is no longer a fatal error.

This means we don't have to do anything special when
validating typo correction candidates, so we can get rid
of the TypoCorrectionResolver. This means there is now
only one subclass of LazyResolver, the TypeChecker itself.
@slavapestov slavapestov force-pushed the decl-checker-cleanup-part-4 branch from 03341c2 to b4f2324 Compare April 3, 2018 22:03
@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants