Open VisualFSharp.sln, then open PatternMatchCompilation.fs, go to computeWhatSuccessfulTypeTestImpliesAboutNullTest and select go-to-definition on TypeNullIsTrueValue
let computeWhatSuccessfulTypeTestImpliesAboutNullTest g tgtTy1 =
if TypeNullIsTrueValue g tgtTy1 then
Implication.Nothing
else
Implication.Fails
Expected: navigation
Actual: "Can't navigate to symbol"
Other symbols seem available, so it's unclear to me what the problem is