A more precise AssertNotNull test
A more precise AssertNotNull test

This is not needed to fix #9321, but useful anyway.

dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty