Quite important part of the release notes:

Value range propagation now assumes that the this pointer of C++ member functions is non-null....