Demonstrate issue for incremental checking of bad overload

Minimum reproduction of issue #11899. The second iteration of that
incremental test fails with:

b.py:3: error: INTERNAL ERROR -- Please try using mypy master on Github:
[ ... ]
Dropping into pdb
> mypy/messages.py(1951)pretty_callable()
-> definition_args = [arg.variable.name for arg in tp.definition.arguments]
(Pdb) p type(tp.definition)
<class 'mypy.nodes.FuncDef'>
(Pdb) p tp.definition.arguments
*** AttributeError: arguments

Author: fperrin

test-data/unit/check-modules.test

@@ -3190,3 +3190,45 @@ from dir1 import *
 from .test2 import *
 [file dir1/test2.py]
 from test1 import aaaa  # E: Module "test1" has no attribute "aaaa"
+
+[case testIssue11899Incremental]
+import b
+[file a.py]
+class Foo:
+    def frobnicate(self, *args, **kwargs): pass
+[file b.py]
+from a import Foo
+class Bar(Foo):
+    def frobnicate(self) -> None: pass
+[file b.py.2]
+from a import Foo
+class Bar(Foo):
+    def frobnicate(self, *args) -> None: pass
+[file b.py.3]
+from a import Foo
+class Bar(Foo):
+    def frobnicate(self, **kwargs) -> None: pass
+[file b.py.4]
+from a import Foo
+class Bar(Foo):
+    def frobnicate(self, *args, **kwargs) -> None: pass
+[builtins fixtures/tuple.pyi]
+[builtins fixtures/dict.pyi]
+[out1]
+tmp/b.py:3: error: Signature of "frobnicate" incompatible with supertype "Foo"
+tmp/b.py:3: note:      Superclass:
+tmp/b.py:3: note:          def frobnicate(self, *args: Any, **kwargs: Any) -> Any
+tmp/b.py:3: note:      Subclass:
+tmp/b.py:3: note:          def frobnicate(self) -> None
+[out2]
+tmp/b.py:3: error: Signature of "frobnicate" incompatible with supertype "Foo"
+tmp/b.py:3: note:      Superclass:
+tmp/b.py:3: note:          def frobnicate(self, *args: Any, **kwargs: Any) -> Any
+tmp/b.py:3: note:      Subclass:
+tmp/b.py:3: note:          def frobnicate(self, *args: Any) -> None
+[out3]
+tmp/b.py:3: error: Signature of "frobnicate" incompatible with supertype "Foo"
+tmp/b.py:3: note:      Superclass:
+tmp/b.py:3: note:          def frobnicate(self, *args: Any, **kwargs: Any) -> Any
+tmp/b.py:3: note:      Subclass:
+tmp/b.py:3: note:          def frobnicate(self, **kwargs: Any) -> None