Skip to content
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

Warning for Empty() #888

Closed
jbednar opened this issue Sep 27, 2016 · 2 comments
Closed

Warning for Empty() #888

jbednar opened this issue Sep 27, 2016 · 2 comments

Comments

@jbednar
Copy link
Member

jbednar commented Sep 27, 2016

Should this be generating a warning?

image

Seems valid to me!

@philippjfr
Copy link
Member

This has been fixed in the PR referenced above, closing.

Copy link

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 25, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants