Skip to content

Conversation

OlivierBlanvillain
Copy link
Contributor

No description provided.

Copy link
Contributor

@odersky odersky left a comment

Choose a reason for hiding this comment

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

I think that's a duplicate of #7247, which was fixed in #7315. But it would still be good to keep the test case.

@OlivierBlanvillain OlivierBlanvillain changed the title Fix #7043 Fix #7043: Add regression test Sep 30, 2019
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