1 files changed, 11 insertions, 0 deletions
diff --git a/tests/typing/bad/testfile-invalid-virtual-redef.cpp b/tests/typing/bad/testfile-invalid-virtual-redef.cpp
new file mode 100644
index 0000000..263ec62
--- /dev/null
+++ b/tests/typing/bad/testfile-invalid-virtual-redef.cpp
@@ -0,0 +1,11 @@
+class A {
+    public:
+    virtual int f(int x);
+};
+
+class B : public A {
+    public:
+    virtual void f(int x);
+};
+
+int main() {}