overloads_evaluation.toml

conformant = "Partial"
notes = """
Does not handle unpacked arguments when checking for parameter type equivalence.
Returns Any instead of most general return type for ambiguous calls.
"""
conformance_automated = "Fail"
errors_diff = """
Line 395: Unexpected errors ['overloads_evaluation.py:395: error: Expression is of type "Any", not "int"  [misc]']
Line 439: Unexpected errors ['overloads_evaluation.py:439: error: Expression is of type "Any", not "bool"  [misc]']
Line 466: Unexpected errors ['overloads_evaluation.py:466: error: Expression is of type "Any", not "A[Any]"  [misc]']
"""
output = """
overloads_evaluation.py:38: error: All overload variants of "example1_1" require at least one argument  [call-overload]
overloads_evaluation.py:38: note: Possible overload variants:
overloads_evaluation.py:38: note:     def example1_1(x: int, y: str) -> int
overloads_evaluation.py:38: note:     def example1_1(x: str) -> str
overloads_evaluation.py:46: error: No overload variant of "example1_1" matches argument types "int", "int"  [call-overload]
overloads_evaluation.py:46: note: Possible overload variants:
overloads_evaluation.py:46: note:     def example1_1(x: int, y: str) -> int
overloads_evaluation.py:46: note:     def example1_1(x: str) -> str
overloads_evaluation.py:51: error: No overload variant of "example1_1" matches argument type "int"  [call-overload]
overloads_evaluation.py:51: note: Possible overload variants:
overloads_evaluation.py:51: note:     def example1_1(x: int, y: str) -> int
overloads_evaluation.py:51: note:     def example1_1(x: str) -> str
overloads_evaluation.py:116: error: Argument 1 to "example2" has incompatible type "int | str"; expected "int"  [arg-type]
overloads_evaluation.py:116: error: Argument 2 to "example2" has incompatible type "int | str"; expected "str"  [arg-type]
overloads_evaluation.py:395: error: Expression is of type "Any", not "int"  [misc]
overloads_evaluation.py:439: error: Expression is of type "Any", not "bool"  [misc]
overloads_evaluation.py:466: error: Expression is of type "Any", not "A[Any]"  [misc]
"""