add comments and notes

Author: yangdanny97

conformance/results/mypy/callables_kwargs.toml

@@ -1,4 +1,8 @@
 conformant = "Partial"
+notes="""
+Allows callable without kwargs to be assigned to callable with unpacked kwargs
+Allows unpacked kwargs to be used when invoking function without kwargs
+"""
 output = """
 callables_kwargs.py:22: note: "func1" defined here
 callables_kwargs.py:46: error: Missing named argument "v1" for "func1"  [call-arg]

conformance/results/pyright/callables_kwargs.toml

@@ -1,4 +1,8 @@
 conformant = "Partial"
+notes="""
+Allows callable without kwargs to be assigned to callable with unpacked kwargs
+Allows unpacked kwargs to be used when invoking function without kwargs
+"""
 output = """
 callables_kwargs.py:28:5 - error: Could not access item in TypedDict
   "v2" is not a required key in "TD2", so access may result in runtime exception (reportTypedDictNotRequiredAccess)

conformance/tests/callables_kwargs.py

@@ -122,18 +122,25 @@ def func5(v1: int, **kwargs: Unpack[TD2]) -> None:  # E: parameter v1 overlaps w
 def func6(**kwargs: Unpack[T]) -> None:  # E: unpacked value must be a TypedDict, not a TypeVar bound to TypedDict.
     ...
 
+# > The situation where the destination callable contains **kwargs: Unpack[TypedDict] and
+# > the source callable doesn’t contain **kwargs should be disallowed. This is because,
+# > we cannot be sure that additional keyword arguments are not being passed in when an instance of a subclass
+# > had been assigned to a variable with a base class type and then unpacked in the destination callable invocation
 
 def func7(*, v1: int, v3: str, v2: str = "") -> None:
     ...
 
 
 v7: TDProtocol6 = func7  # E: source does not have kwargs
 
+# > Kwargs hinted with an unpacked TypedDict can only be passed to another function if the function
+# > to which unpacked kwargs are being passed to has **kwargs in its signature as well,
+# > because then additional keywords would not cause errors at runtime during function invocation. 
+# > Otherwise, the type checker should generate an error.
 
 def func8(**kwargs) -> None:
     ...
 
 def func9(**kwargs: Unpack[TD2]) -> None:
-    # Kwargs hinted with an unpacked TypedDict can only be passed to another function that has **kwargs in its signature.
     func7(**kwargs)  # E
     func8(**kwargs)  # OK