Skip to content

Handle multiple nested None-delimited groups#843

Merged
dtolnay merged 1 commit intodtolnay:masterfrom
Aaron1011:feature/multiple-empty
May 31, 2020
Merged

Handle multiple nested None-delimited groups#843
dtolnay merged 1 commit intodtolnay:masterfrom
Aaron1011:feature/multiple-empty

Conversation

@Aaron1011
Copy link
Contributor

When rust-lang/rust#72388 re-lands, we may accumulate several 'layers'
of None-delimited groups. This commit ensures that we 'unwrap' all of
the layers, allowing consumers to avoid needing to handle these cases.

When rust-lang/rust#72388 re-lands, we may accumulate several 'layers'
of `None`-delimited groups. This commit ensures that we 'unwrap' all of
the layers, allowing consumers to avoid needing to handle these cases.
Copy link
Owner

@dtolnay dtolnay left a comment

Choose a reason for hiding this comment

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

Thanks!

@dtolnay dtolnay merged commit dd68696 into dtolnay:master May 31, 2020
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