Update results

conformance/results/mypy/narrowing_typeguard.toml

@@ -2,4 +2,5 @@ conformant = "Pass"
 output = """
 narrowing_typeguard.py:102: error: TypeGuard functions must have a positional argument  [valid-type]
 narrowing_typeguard.py:107: error: TypeGuard functions must have a positional argument  [valid-type]
+narrowing_typeguard.py:128: error: Argument 1 to "takes_callable_str" has incompatible type "Callable[[object], TypeGuard[int]]"; expected "Callable[[object], str]"  [arg-type]
 """

conformance/results/pyre/narrowing_typeguard.toml

@@ -6,4 +6,5 @@ Does not reject TypeGuard method with too few parameters.
 output = """
 narrowing_typeguard.py:17:33 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Type[Variable[_T_co](covariant)]` but got `Tuple[Type[str], Type[str]]`.
 narrowing_typeguard.py:19:33 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Type[Variable[_T_co](covariant)]` but got `Tuple[Type[str], typing.Any]`.
+narrowing_typeguard.py:128:19 Incompatible parameter type [6]: In call `takes_callable_str`, for 1st positional argument, expected `typing.Callable[[object], str]` but got `typing.Callable(simple_typeguard)[[Named(val, object)], TypeGuard[int]]`.
 """

conformance/results/pyre/version.toml

@@ -1,2 +1,2 @@
 version = "pyre 0.9.19"
-test_duration = 3.0
+test_duration = 3.1

conformance/results/pyright/narrowing_typeguard.toml

@@ -2,4 +2,9 @@ conformant = "Pass"
 output = """
 narrowing_typeguard.py:102:9 - error: User-defined type guard functions and methods must have at least one input parameter (reportGeneralTypeIssues)
 narrowing_typeguard.py:107:9 - error: User-defined type guard functions and methods must have at least one input parameter (reportGeneralTypeIssues)
+narrowing_typeguard.py:128:20 - error: Argument of type "(val: object) -> TypeGuard[int]" cannot be assigned to parameter "f" of type "(object) -> str" in function "takes_callable_str"
+  Type "(val: object) -> TypeGuard[int]" cannot be assigned to type "(object) -> str"
+    Function return type "TypeGuard[int]" is incompatible with type "str"
+      "TypeGuard[int]" is incompatible with "str"
+      "bool" is incompatible with "str" (reportArgumentType)
 """

conformance/results/pyright/version.toml

@@ -1,2 +1,2 @@
 version = "pyright 1.1.351"
-test_duration = 1.4
+test_duration = 1.5

conformance/results/pytype/narrowing_typeguard.toml

@@ -3,5 +3,5 @@ notes = """
 Does not reject TypeGuard method with too few parameters.
 """
 output = """
-
+File "narrowing_typeguard.py", line 128, in <module>: Function takes_callable_str was called with the wrong arguments [wrong-arg-types]
 """

conformance/results/pytype/version.toml

@@ -1,2 +1,2 @@
 version = "pytype 2024.02.13"
-test_duration = 32.5
+test_duration = 42.7