Add regression test for django missing-module-attribute bug

Summary: Adds test for bug fixed in D85578780.

Reviewed By: samwgoldman

Differential Revision: D85582485

fbshipit-source-id: ab8bb38a835580da4c4c0f411f97227ee6416cfe

Author: rchen152

test/config.md

@@ -298,3 +298,18 @@ $ echo "from pkg import X" > $TMPDIR/foo.py && \
 ERROR * Found stubs for `pkg`, but no source* (glob)
 [1]
 ```
+
+## Regression test: we should still be able to find submodules when stubs are missing
+
+```scrut {output_stream.stdout}
+$ mkdir $TMPDIR/site_package_missing_stubs && \
+> mkdir $TMPDIR/site_package_missing_stubs/django && \
+> touch $TMPDIR/site_package_missing_stubs/django/__init__.py && \
+> mkdir $TMPDIR/site_package_missing_stubs/django/forms && \
+> touch $TMPDIR/site_package_missing_stubs/django/forms/__init__.py && \
+> echo "from django import forms; from typing import reveal_type; reveal_type(forms)" > $TMPDIR/foo.py && \
+> $PYREFLY check $TMPDIR/foo.py --error untyped-import --site-package-path $TMPDIR/site_package_missing_stubs --output-format=min-text
+ERROR * Missing type stubs for `django` * (glob)
+ INFO * revealed type: Module[django.forms] * (glob)
+[1]
+```