All right, I'll give it P-high. I've been thinking of tackling this issue that @arielb1 is describing as part of another change. This is kind of a dup but I'm going to keep it separate. triage: P-high
triage: P-medium Would love to fix, but doesn't seem super high priority right now.
triage: P-high (soundness issue)
triage: P-high
triage: P-high (decision needed) For this and other macro rules, it's unclear how much we can change here, but I think we should make an effort to fix these bugs sooner rather than later if we are going to do so!
triage: P-medium Would love to fix, but doesn't seem super high priority right now.
triage: P-medium Would love to fix, but doesn't seem super high priority right now.
triage: P-high We should nail this down. I'm assigning this to @nrc since iirc he last touched the privacy code. ;)
triage: I-nominated Seems to be a regression.
triage: P-high (regression)