tree 826a335c7355d956f8472780d973a8186f6c5f64
parent 6359783780348c87505fd972a2d4bf2d18d93af3
author Martin Brænne <mboehme@google.com> 1725436042 -0700
committer Copybara-Service <copybara-worker@google.com> 1725436115 -0700

[nullability] Warn if either operand of pointer difference is nullable.

This adds a case that I had forgotten earlier.

PiperOrigin-RevId: 670863040
Change-Id: If4deac49e21c5fd5bfdf1b0840949dc6b6131b18