| In addition to the Diagnostic, the SA4023 analyzer reports a |
| RelatedInformation at the position of b.B, in an another package. |
| Since this is in a dependency package, we cannot resolve to |
| protocol.Location coordinates. This used to trigger an assertion, but |
| now we resolve the location approximately. |
| |
| This is a regression test for #70791. |
| |
| -- settings.json -- |
| {"analyses": {"SA4023": true}} |
| |
| -- go.mod -- |
| module example.com |
| go 1.18 |
| |
| -- a/a.go -- |
| package a |
| |
| import "example.com/b" |
| |
| var _ = b.B() == nil //@ diag("b.B", re"comparison is never true") |
| |
| -- b/b.go -- |
| package b |
| |
| func B() any { return (*int)(nil) } |
| |
| |
| |
