Is this the limitation of C# nullable checking?

Question

I\'ve had the following CS8629 warning on my reference to x. Because of the where clause before the select, I am sure that x.Val