Checking .HasValue (== true) on a Nullable type still shows InvalidOperationException prompt when calling .Value

[DonaldRecord]

For this code here, I see a prompt telling me that it is possible to throw an InvalidOperationException (even though it won't) - which is good behavior.

int? bar = null;
var foo = bar.Value; //<-- PROMPT HERE

However, when I check .HasValue, which is pretty much a solid guarantee that calling .Value will not throw an InvalidOperationException, I still get the same prompt.

int? bar = null;
int foo;

if (bar.HasValue)
    foo = bar.Value; //<-- PROMPT HERE
else
    foo = 0;

[dittodhole]

fyi, using .GetValueOrDefault is a viable workaround here - NIH syndrom alert ;)