@Override
            public void visitTypeElement(@NotNull PsiTypeElement typeElement) {
                super.visitTypeElement(typeElement);
                PsiType type = typeElement.getType();
                Nullability nullability = DfaPsiUtil.getTypeNullability(type);
                switch (nullability) {
                    case NULLABLE -> registerNullableType(type);
                    case NOT_NULL -> registerNotNullType(type);
                }
            }
@Override
            public void visitTypeElement(@NotNull PsiTypeElement typeElement)