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.

Sign up for GitHub

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

Jump to bottom

Set operations: don't terminate nav rewriting if both sides are identical #16246

Open

roji opened this issue Jun 25, 2019 · 1 comment

Labels

area-query type-enhancement

Milestone

Member

roji commented Jun 25, 2019

The navigation expanding visitor currently treats set operations as terminating, but we should not be doing this when both operands are identical.

roji added the type-enhancement label

ajcvickers added this to the Backlog milestone

smitpatel added the area-query label

Contributor

smitpatel commented Mar 16, 2020

Consider this with #20291

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment