python#1727: more unit tests

Author: VadimPushtaev

test-data/unit/check-classes.test

@@ -620,6 +620,9 @@ main:5: error: Incompatible types in assignment (expression has type "D2", varia
 class C:
     @classmethod
     def create(cls, arg: int) -> 'C':
+        reveal_type(cls) # E: Revealed type is 'def (arg: builtins.int) -> __main__.C'
+        reveal_type(cls(arg)) # E: Revealed type is '__main__.C'
+        cls() # E: Too few arguments for "C"
         return cls(arg)
 
     def __init__(self, arg: 'int') -> None:
@@ -628,6 +631,20 @@ class C:
 reveal_type(C.create)  # E: Revealed type is 'def (arg: builtins.int) -> __main__.C'
 [builtins fixtures/classmethod.pyi]
 
+[case testClassmethodBeforeInitInGenericClass]
+from typing import Generic, TypeVar
+T = TypeVar('T')
+class C(Generic[T]):
+    @classmethod
+    def create(cls, arg: T) -> 'C':
+        cls() # E: Too few arguments for "C"
+        return cls(arg, arg)
+
+    def __init__(self, arg1: T, arg2: T) -> None:
+        self._arg1 = arg1
+        self._arg2 = arg2
+[builtins fixtures/classmethod.pyi]
+
 
 -- Attribute access in class body
 -- ------------------------------

test-data/unit/check-overloading.test

@@ -523,6 +523,21 @@ class A:
   def __init__(self, b: 'B') -> None: pass
 class B: pass
 
+[case testOverloadedInitAndClassMethod]
+from foo import *
+[file foo.pyi]
+from typing import overload
+class A:
+  @classmethod
+  def from_int(cls, x: int) -> 'A':
+    reveal_type(cls) # E: Revealed type is 'Any'
+    return cls(x)
+  @overload
+  def __init__(self, a: int) -> None: pass
+  @overload
+  def __init__(self, b: str) -> None: pass
+[builtins fixtures/classmethod.pyi]
+
 [case testIntersectionTypeCompatibility]
 from foo import *
 [file foo.pyi]