Skip to content

Conversation

smarter
Copy link
Member

@smarter smarter commented Mar 31, 2018

This allows us to turn the TreeChecker duplicate error message into a
fatal error.

This allows us to turn the TreeChecker duplicate error message into a
fatal error.
@smarter smarter requested a review from odersky March 31, 2018 19:57
@smarter smarter mentioned this pull request Mar 31, 2018
@allanrenucci allanrenucci merged commit 97a3290 into scala:master Apr 1, 2018
@allanrenucci allanrenucci deleted the fix/duplicate-denot branch April 1, 2018 15:34
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.

3 participants