Skip to content

Conversation

@LucianoPAlmeida
Copy link
Contributor

Auditing for possible incorrect diagnostics that mention error types in some way found this
of derived conformances :)

@LucianoPAlmeida LucianoPAlmeida requested review from CodaFi and xedin June 14, 2020 12:18
@LucianoPAlmeida LucianoPAlmeida force-pushed the error-type-derived-conformance branch from 1b0f510 to d240a52 Compare June 14, 2020 22:09
@LucianoPAlmeida LucianoPAlmeida force-pushed the error-type-derived-conformance branch 2 times, most recently from 7b7d9d1 to b7ab7da Compare June 16, 2020 13:00
@LucianoPAlmeida
Copy link
Contributor Author

@CodaFi I remembered that you've mentioned something about setInvalid and remember #31086 which should fix this problem... so do you think performing such validation here is still valid?

@LucianoPAlmeida
Copy link
Contributor Author

I'm definitely not sure, since what we are doing here is just handle early a possible error type which is more general, and avoid re-validate a re-declaration which even with no error maybe makes sense :)

@LucianoPAlmeida LucianoPAlmeida force-pushed the error-type-derived-conformance branch from 1695d2e to 405120b Compare June 18, 2020 09:23
@LucianoPAlmeida LucianoPAlmeida force-pushed the error-type-derived-conformance branch 2 times, most recently from 3ed07a4 to 3458548 Compare June 19, 2020 01:38
Copy link
Collaborator

@AnthonyLatsis AnthonyLatsis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for pursuing this, Luciano!

@LucianoPAlmeida
Copy link
Contributor Author

All adjusted @AnthonyLatsis :)

@LucianoPAlmeida
Copy link
Contributor Author

Ping @CodaFi, Could you give a quick look at this? :)

@LucianoPAlmeida LucianoPAlmeida force-pushed the error-type-derived-conformance branch from fb53bed to 344662e Compare June 28, 2020 22:43
@LucianoPAlmeida
Copy link
Contributor Author

Ping @CodaFi @xedin

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.

4 participants