Add test demonstrating unresolved calls with class stubs

Summary:
We fail to resolve `super().__init__()` calls when the parent class is defined as `class A: ...`.

The call graph building has 2 different paths:
Using go-to-definition: this returns None (since A is empty)
Using type resolution: `super().__init__` returns a `BoundMethod[Self@B, …]`. We don’t currently handle the Self type when resolving BoundMethods. Even if we did, we would resolve to `B.__init__` instead of `A.__init__` or `object.__init__`.

Reviewed By: tianhan0

Differential Revision: D91778720

fbshipit-source-id: 4c63d4fecaa3e3a72daa501a1fc9739a60d8459f

Author: arthaud

pyrefly/lib/test/pysa/call_graph.rs

@@ -7004,3 +7004,43 @@ def foo(x: PropertyCallable, y: PropertyCallableReturn):
         )]
     }
 );
+
+// From the pysa integration test: constructors.py
+call_graph_testcase!(
+    test_stub_parent_class,
+    TEST_MODULE_NAME,
+    r#"
+class A:
+  ...
+
+class B(A):
+  def __init__(self, a, b) -> None:
+    super().__init__(a, b)
+"#,
+    &|context: &ModuleContext| {
+        vec![(
+            "test.B.__init__",
+            vec![
+                (
+                    "7:5-7:12",
+                    constructor_call_callees(
+                        vec![
+                            create_call_target("builtins.super.__init__", TargetType::Function)
+                                .with_implicit_receiver(ImplicitReceiver::TrueWithObjectReceiver)
+                                .with_receiver_class_for_test("builtins.super", context),
+                        ],
+                        vec![
+                            create_call_target("builtins.object.__new__", TargetType::Function)
+                                .with_is_static_method(true),
+                        ],
+                    ),
+                ),
+                (
+                    "7:5-7:27",
+                    // TODO(T253219415): Resolve `__init__` call.
+                    unresolved_expression_callees(UnresolvedReason::UnexpectedDefiningClass),
+                ),
+            ],
+        )]
+    }
+);