3 files changed, 12 insertions, 0 deletions
diff --git a/tests/typing/good/testfile-not_incomplete_type-1.cpp b/tests/typing/good/testfile-not_incomplete_type-1.cpp
new file mode 100644
index 0000000..de16671
--- /dev/null
+++ b/tests/typing/good/testfile-not_incomplete_type-1.cpp
@@ -0,0 +1,2 @@
+class A { public: A *a; };
+int main() {}
diff --git a/tests/typing/good/testfile-subtype-2.cpp b/tests/typing/good/testfile-subtype-2.cpp
new file mode 100644
index 0000000..d65ebc0
--- /dev/null
+++ b/tests/typing/good/testfile-subtype-2.cpp
@@ -0,0 +1,5 @@
+
+#include <iostream>
+class A { public: };
+int main() { A *x = NULL; }
+
diff --git a/tests/typing/good/testfile-subtype-3.cpp b/tests/typing/good/testfile-subtype-3.cpp
new file mode 100644
index 0000000..e240ef6
--- /dev/null
+++ b/tests/typing/good/testfile-subtype-3.cpp
@@ -0,0 +1,5 @@
+
+class A { public: };
+class B : public A { public: };
+int main() { A *x = new B(); }
+