there is a test ```NullabilityTest``` to check this case. It's ignored because many violations are exist. So, please just add this annotation