On: NilAway: Practical nil panic detection for Go

[yencabulator]

Another example: thread A toggles an interface variable between two types, thread B calls a method on it. You can get the method of type X called with a receiver of type Y.