typing/conformance/results/pyright/overloads_evaluation.toml at 137e3fcbcf112f1514e1d2eb8c236d67b78125b1 · python/typing · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
conformant = "Partial"
notes = """
Does not evaluate Any in some cases where overload is ambiguous.
Picks first overload instead of most general return type in some cases where overload is ambiguous.
"""
conformance_automated = "Fail"
errors_diff = """
Line 284: Unexpected errors ['overloads_evaluation.py:284:17 - error: "assert_type" mismatch: expected "Any" but received "list[int]" (reportAssertTypeFailure)']
Line 466: Unexpected errors ['overloads_evaluation.py:466:17 - error: "assert_type" mismatch: expected "A[Any]" but received "A[None]" (reportAssertTypeFailure)']
"""
output = """
overloads_evaluation.py:38:1 - error: No overloads for "example1_1" match the provided arguments
  Argument types: () (reportCallIssue)
overloads_evaluation.py:46:15 - error: Argument of type "Literal[1]" cannot be assigned to parameter "y" of type "str" in function "example1_1"
  "Literal[1]" is not assignable to "str" (reportArgumentType)
overloads_evaluation.py:51:12 - error: Argument of type "Literal[1]" cannot be assigned to parameter "x" of type "str" in function "example1_1"
  "Literal[1]" is not assignable to "str" (reportArgumentType)
overloads_evaluation.py:116:5 - error: No overloads for "example2" match the provided arguments (reportCallIssue)
overloads_evaluation.py:116:14 - error: Argument of type "int | str" cannot be assigned to parameter "x" of type "int" in function "example2"
  Type "int | str" is not assignable to type "int"
    "str" is not assignable to "int" (reportArgumentType)
overloads_evaluation.py:116:17 - error: Argument of type "int | str" cannot be assigned to parameter "y" of type "int" in function "example2"
  Type "int | str" is not assignable to type "int"
    "str" is not assignable to "int" (reportArgumentType)
overloads_evaluation.py:284:17 - error: "assert_type" mismatch: expected "Any" but received "list[int]" (reportAssertTypeFailure)
overloads_evaluation.py:466:17 - error: "assert_type" mismatch: expected "A[Any]" but received "A[None]" (reportAssertTypeFailure)
"""