{ "collected_ids": [ "pyanalyze/test_implementation.py::TestAny::test_call", "pyanalyze/test_implementation.py::TestAssertType::test_assert_type", "pyanalyze/test_implementation.py::TestBool::test_constraint", "pyanalyze/test_implementation.py::TestBool::test_return_value", "pyanalyze/test_implementation.py::TestCallableGuards::test_callable", "pyanalyze/test_implementation.py::TestCallableGuards::test_isfunction", "pyanalyze/test_implementation.py::TestCast::test", "pyanalyze/test_implementation.py::TestCast::test_undefined_name", "pyanalyze/test_implementation.py::TestDictGetItem::test", "pyanalyze/test_implementation.py::TestDictGetItem::test_complex_incomplete", "pyanalyze/test_implementation.py::TestDictGetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictGetItem::test_invalid_typeddict_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_type_as_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_unhashable", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_key_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_value_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_bad_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_non_literal_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_setitem_valid", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_unrecognized_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_weak", "pyanalyze/test_implementation.py::TestEncodeDecode::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test_decode_wrong_type", "pyanalyze/test_implementation.py::TestEncodeDecode::test_encode_wrong_type", "pyanalyze/test_implementation.py::TestFormat::test_basic", "pyanalyze/test_implementation.py::TestFormat::test_errors", "pyanalyze/test_implementation.py::TestFormat::test_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_copy_and_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_get", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_pos_only", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd_never", "pyanalyze/test_implementation.py::TestGenericMutators::test_set_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_setdefault", "pyanalyze/test_implementation.py::TestGenericMutators::test_starred_weak", "pyanalyze/test_implementation.py::TestGenericMutators::test_weak_value", "pyanalyze/test_implementation.py::TestIssubclass::test", "pyanalyze/test_implementation.py::TestIssubclass::test_negative_narrowing", "pyanalyze/test_implementation.py::TestLen::test", "pyanalyze/test_implementation.py::TestLen::test_narrowing", "pyanalyze/test_implementation.py::TestLen::test_wrong_type", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_in_lambda", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_index", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_subclasses", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_annotation", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_index", "pyanalyze/test_implementation.py::TestSequenceImpl::test", "pyanalyze/test_implementation.py::TestSequenceImpl::test_not_iterable", "pyanalyze/test_implementation.py::TestSequenceImpl::test_union", "pyanalyze/test_implementation.py::TestSubclasses::test", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_basic", "pyanalyze/test_implementation.py::TestSuperCall::test_first_arg_is_base", "pyanalyze/test_implementation.py::TestSuperCall::test_good_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_metaclass", "pyanalyze/test_implementation.py::TestSuperCall::test_mixin", "pyanalyze/test_implementation.py::TestSuperCall::test_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_super_init_subclass", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_comprehension", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_gen_exp", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_nested_function", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_undefined_super_attribute", "pyanalyze/test_implementation.py::TestTypeMethods::test", "pyanalyze/test_runtime.py::TestRuntimeTypeGuard::test_runtime", "pyanalyze/test_runtime.py::test_get_compatibility_error", "pyanalyze/test_runtime.py::test_is_compatible" ], "protected": [ "pyanalyze/test_implementation.py::TestAssertType::test_assert_type", "pyanalyze/test_implementation.py::TestBool::test_constraint", "pyanalyze/test_implementation.py::TestBool::test_return_value", "pyanalyze/test_implementation.py::TestCallableGuards::test_callable", "pyanalyze/test_implementation.py::TestCast::test", "pyanalyze/test_implementation.py::TestCast::test_undefined_name", "pyanalyze/test_implementation.py::TestDictGetItem::test", "pyanalyze/test_implementation.py::TestDictGetItem::test_complex_incomplete", "pyanalyze/test_implementation.py::TestDictGetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictGetItem::test_invalid_typeddict_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_type_as_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_unhashable", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_key_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_value_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_bad_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_non_literal_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_setitem_valid", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_unrecognized_key", "pyanalyze/test_implementation.py::TestEncodeDecode::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test_decode_wrong_type", "pyanalyze/test_implementation.py::TestEncodeDecode::test_encode_wrong_type", "pyanalyze/test_implementation.py::TestFormat::test_basic", "pyanalyze/test_implementation.py::TestFormat::test_errors", "pyanalyze/test_implementation.py::TestFormat::test_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_copy_and_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_get", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_pos_only", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd_never", "pyanalyze/test_implementation.py::TestGenericMutators::test_set_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_setdefault", "pyanalyze/test_implementation.py::TestGenericMutators::test_starred_weak", "pyanalyze/test_implementation.py::TestGenericMutators::test_weak_value", "pyanalyze/test_implementation.py::TestIssubclass::test", "pyanalyze/test_implementation.py::TestIssubclass::test_negative_narrowing", "pyanalyze/test_implementation.py::TestLen::test", "pyanalyze/test_implementation.py::TestLen::test_narrowing", "pyanalyze/test_implementation.py::TestLen::test_wrong_type", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_in_lambda", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_subclasses", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_annotation", "pyanalyze/test_implementation.py::TestSequenceImpl::test_union", "pyanalyze/test_implementation.py::TestSubclasses::test", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_basic", "pyanalyze/test_implementation.py::TestSuperCall::test_first_arg_is_base", "pyanalyze/test_implementation.py::TestSuperCall::test_good_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_metaclass", "pyanalyze/test_implementation.py::TestSuperCall::test_mixin", "pyanalyze/test_implementation.py::TestSuperCall::test_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_super_init_subclass", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_comprehension", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_gen_exp", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_nested_function", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_undefined_super_attribute", "pyanalyze/test_implementation.py::TestTypeMethods::test" ], "run_receipt_ids": [ "base-3", "base-4" ], "runs": [ { "collection_errors": [], "errors": [], "failed": [ "pyanalyze/test_implementation.py::TestSequenceImpl::test", "pyanalyze/test_implementation.py::TestSequenceImpl::test_not_iterable", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_index", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_index", "pyanalyze/test_implementation.py::TestDictSetItem::test_weak", "pyanalyze/test_implementation.py::TestCallableGuards::test_isfunction", "pyanalyze/test_implementation.py::TestAny::test_call", "pyanalyze/test_runtime.py::test_is_compatible", "pyanalyze/test_runtime.py::test_get_compatibility_error", "pyanalyze/test_runtime.py::TestRuntimeTypeGuard::test_runtime" ], "failure_text": { "pyanalyze/test_implementation.py::TestAny::test_call": "AssertionError: Expected incompatible_call on line 4\n \nassert not ['Expected incompatible_call on line 4']\nE AssertionError: Expected incompatible_call on line 4\n \n assert not ['Expected incompatible_call on line 4']", "pyanalyze/test_implementation.py::TestCallableGuards::test_isfunction": "AssertionError: Did not expect error inference_failure on line 7\n \n Bad value inference: expected function, got object (code: inference_failure)\n In at line 7\n 4: def capybara(o: object) -> None:\n 5: assert_is_value(o, TypedValue(object))\n 6: if inspect.isfunction(o):\n 7: assert_is_value(o, TypedValue(FunctionType))\n ^\n \nassert not ['Did not expect error inference_failure on line 7']\nE AssertionError: Did not expect error inference_failure on line 7\n \n Bad value inference: expected function, got object (code: inference_failure)\n In at line 7\n 4: def capybara(o: object) -> None:\n 5: assert_is_value(o, TypedValue(object))\n 6: if inspect.isfunction(o):\n 7: assert_is_value(o, TypedValue(FunctionType))\n ^\n \n assert not ['Did not expect error inference_failure on line 7']", "pyanalyze/test_implementation.py::TestDictSetItem::test_weak": "[...]ncompatible_call on line 2\n Did not expect error inference_failure on line 3\n Did not expect error inference_failure on line 10\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(arg):\n 2: dct = {int(k): 1 for k in arg}\n ^\n 3: assert_is_value(\n 4: dct,\n 5: DictIncompleteValue(\n \n Bad value inference: expected , got (code: inference_failure)\n In at line 3\n 1: def capybara(arg):\n 2: dct = {int(k): 1 for k in arg}\n 3: assert_is_value(\n ^\n 4: dct,\n 5: DictIncompleteValue(\n 6: dict, [KVPair(TypedValue(int), KnownValue(1), is_many=True)]\n \n Bad value inference: expected , got (code: inference_failure)\n In at line 10\n 7: ),\n 8: )\n 9: dct[\"x\"] = \"y\"\n 10: assert_is_value(\n ^\n 11: dct,\n 12: DictIncompleteValue(\n 13: dict,\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 3', 'Did not expect error inference_failure on line 10']", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend": "AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst.extend({float(1.0)})\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \nassert not ['Did not expect error incompatible_call on line 10']\nE AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst.extend({float(1.0)})\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \n assert not ['Did not expect error incompatible_call on line 10']", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd": "AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst += {float(1.0)}\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \nassert not ['Did not expect error incompatible_call on line 10']\nE AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst += {float(1.0)}\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \n assert not ['Did not expect error incompatible_call on line 10']", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_index": "[...]ce_failure on line 4\n Did not expect error inference_failure on line 6\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(x):\n 2: lst = [\"a\", \"b\", int(x)]\n ^\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n \n Bad value inference: expected int, got Any[error] (code: inference_failure)\n In at line 4\n 1: def capybara(x):\n 2: lst = [\"a\", \"b\", int(x)]\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n ^\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n 6: assert_is_value(lst[5], KnownValue(\"a\") | KnownValue(\"b\") | TypedValue(int))\n \n Bad value inference: expected Union[int, Literal['a', 'b']], got Union[Any[error], Literal['a', 'b']] (code: inference_failure)\n In at line 6\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n 6: assert_is_value(lst[5], KnownValue(\"a\") | KnownValue(\"b\") | TypedValue(int))\n ^\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 4', 'Did not expect error inference_failure on line 6']", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_index": "[...] 2', 'Did not expect error inference_failure on line 4']\nE AssertionError: Did not expect error incompatible_call on line 2\n Did not expect error inference_failure on line 4\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(x):\n 2: tpl = (\"a\", \"b\", int(x))\n ^\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n \n Bad value inference: expected int, got Any[error] (code: inference_failure)\n In at line 4\n 1: def capybara(x):\n 2: tpl = (\"a\", \"b\", int(x))\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n ^\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n 6: assert_is_value(tpl[5], AnyValue(AnySource.error)) # E: incompatible_call\n \n Tuple index out of range: Literal[5] (code: incompatible_call)\n In at line 6\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n 6: assert_is_value(tpl[5], AnyValue(AnySource.error)) # E: incompatible_call\n ^\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 4']", "pyanalyze/test_implementation.py::TestSequenceImpl::test": "[...] \n Bad value inference: expected tuple[int], got tuple[Any[error]] (code: inference_failure)\n In at line 19\n 16: assert_is_value(tuple({i: i for i in ints}), GenericValue(tuple, [one_two]))\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n ^\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n 21: )\n 22: \n \nassert not ['Did not expect error incompatible_call on line 20', 'Did not expect error inference_failure on line 19']\nE AssertionError: Did not expect error incompatible_call on line 20\n Did not expect error inference_failure on line 19\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 20\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n ^\n 21: )\n 22: \n 23: # fallback\n \n Bad value inference: expected tuple[int], got tuple[Any[error]] (code: inference_failure)\n In at line 19\n 16: assert_is_value(tuple({i: i for i in ints}), GenericValue(tuple, [one_two]))\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n ^\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n 21: )\n 22: \n \n assert not ['Did not expect error incompatible_call on line 20', 'Did not expect error inference_failure on line 19']", "pyanalyze/test_implementation.py::TestSequenceImpl::test_not_iterable": "[...]de4c675ce04a82f4c> at line 2\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n ^\n 3: tuple(int(x)) # E: unsupported_operation\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 3\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n 3: tuple(int(x)) # E: unsupported_operation\n ^\n \nassert not ['Did not expect error incompatible_call on line 3', 'Expected unsupported_operation on line 3']\nE AssertionError: Did not expect error incompatible_call on line 3\n Expected unsupported_operation on line 3\n \n Literal[3] is not iterable (code: unsupported_operation)\n Literal[3] has no attribute '__iter__'\n \n In at line 2\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n ^\n 3: tuple(int(x)) # E: unsupported_operation\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 3\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n 3: tuple(int(x)) # E: unsupported_operation\n ^\n \n assert not ['Did not expect error incompatible_call on line 3', 'Expected unsupported_operation on line 3']", "pyanalyze/test_runtime.py::TestRuntimeTypeGuard::test_runtime": "ModuleNotFoundError: No module named 'annotated_types'\nE ModuleNotFoundError: No module named 'annotated_types'", "pyanalyze/test_runtime.py::test_get_compatibility_error": "AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])\nE AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])", "pyanalyze/test_runtime.py::test_is_compatible": "assert not True\n + where True = is_compatible(42, typing.List[int])\nE assert not True\n + where True = is_compatible(42, typing.List[int])" }, "passed": [ "pyanalyze/test_implementation.py::TestSuperCall::test_basic", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_comprehension", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_gen_exp", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_nested_function", "pyanalyze/test_implementation.py::TestSuperCall::test_super_init_subclass", "pyanalyze/test_implementation.py::TestSuperCall::test_good_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_first_arg_is_base", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_undefined_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_metaclass", "pyanalyze/test_implementation.py::TestSuperCall::test_mixin", "pyanalyze/test_implementation.py::TestSequenceImpl::test_union", "pyanalyze/test_implementation.py::TestFormat::test_basic", "pyanalyze/test_implementation.py::TestFormat::test_errors", "pyanalyze/test_implementation.py::TestFormat::test_union", "pyanalyze/test_implementation.py::TestTypeMethods::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test_encode_wrong_type", "pyanalyze/test_implementation.py::TestEncodeDecode::test_decode_wrong_type", "pyanalyze/test_implementation.py::TestLen::test", "pyanalyze/test_implementation.py::TestLen::test_narrowing", "pyanalyze/test_implementation.py::TestLen::test_wrong_type", "pyanalyze/test_implementation.py::TestBool::test_return_value", "pyanalyze/test_implementation.py::TestBool::test_constraint", "pyanalyze/test_implementation.py::TestCast::test", "pyanalyze/test_implementation.py::TestCast::test_undefined_name", "pyanalyze/test_implementation.py::TestSubclasses::test", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_pos_only", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_set_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd_never", "pyanalyze/test_implementation.py::TestGenericMutators::test_weak_value", "pyanalyze/test_implementation.py::TestGenericMutators::test_starred_weak", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_get", "pyanalyze/test_implementation.py::TestGenericMutators::test_setdefault", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_copy_and_update", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_annotation", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_in_lambda", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_subclasses", "pyanalyze/test_implementation.py::TestDictGetItem::test_unhashable", "pyanalyze/test_implementation.py::TestDictGetItem::test_invalid_typeddict_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictGetItem::test_complex_incomplete", "pyanalyze/test_implementation.py::TestDictGetItem::test", "pyanalyze/test_implementation.py::TestDictGetItem::test_type_as_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_setitem_valid", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_non_literal_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_unrecognized_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_bad_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_key_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_value_type", "pyanalyze/test_implementation.py::TestIssubclass::test", "pyanalyze/test_implementation.py::TestIssubclass::test_negative_narrowing", "pyanalyze/test_implementation.py::TestCallableGuards::test_callable", "pyanalyze/test_implementation.py::TestAssertType::test_assert_type" ], "skipped": [] }, { "collection_errors": [], "errors": [], "failed": [ "pyanalyze/test_implementation.py::TestSequenceImpl::test", "pyanalyze/test_implementation.py::TestSequenceImpl::test_not_iterable", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_index", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_index", "pyanalyze/test_implementation.py::TestDictSetItem::test_weak", "pyanalyze/test_implementation.py::TestCallableGuards::test_isfunction", "pyanalyze/test_implementation.py::TestAny::test_call", "pyanalyze/test_runtime.py::test_is_compatible", "pyanalyze/test_runtime.py::test_get_compatibility_error", "pyanalyze/test_runtime.py::TestRuntimeTypeGuard::test_runtime" ], "failure_text": { "pyanalyze/test_implementation.py::TestAny::test_call": "AssertionError: Expected incompatible_call on line 4\n \nassert not ['Expected incompatible_call on line 4']\nE AssertionError: Expected incompatible_call on line 4\n \n assert not ['Expected incompatible_call on line 4']", "pyanalyze/test_implementation.py::TestCallableGuards::test_isfunction": "AssertionError: Did not expect error inference_failure on line 7\n \n Bad value inference: expected function, got object (code: inference_failure)\n In at line 7\n 4: def capybara(o: object) -> None:\n 5: assert_is_value(o, TypedValue(object))\n 6: if inspect.isfunction(o):\n 7: assert_is_value(o, TypedValue(FunctionType))\n ^\n \nassert not ['Did not expect error inference_failure on line 7']\nE AssertionError: Did not expect error inference_failure on line 7\n \n Bad value inference: expected function, got object (code: inference_failure)\n In at line 7\n 4: def capybara(o: object) -> None:\n 5: assert_is_value(o, TypedValue(object))\n 6: if inspect.isfunction(o):\n 7: assert_is_value(o, TypedValue(FunctionType))\n ^\n \n assert not ['Did not expect error inference_failure on line 7']", "pyanalyze/test_implementation.py::TestDictSetItem::test_weak": "[...]ncompatible_call on line 2\n Did not expect error inference_failure on line 3\n Did not expect error inference_failure on line 10\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(arg):\n 2: dct = {int(k): 1 for k in arg}\n ^\n 3: assert_is_value(\n 4: dct,\n 5: DictIncompleteValue(\n \n Bad value inference: expected , got (code: inference_failure)\n In at line 3\n 1: def capybara(arg):\n 2: dct = {int(k): 1 for k in arg}\n 3: assert_is_value(\n ^\n 4: dct,\n 5: DictIncompleteValue(\n 6: dict, [KVPair(TypedValue(int), KnownValue(1), is_many=True)]\n \n Bad value inference: expected , got (code: inference_failure)\n In at line 10\n 7: ),\n 8: )\n 9: dct[\"x\"] = \"y\"\n 10: assert_is_value(\n ^\n 11: dct,\n 12: DictIncompleteValue(\n 13: dict,\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 3', 'Did not expect error inference_failure on line 10']", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend": "AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst.extend({float(1.0)})\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \nassert not ['Did not expect error incompatible_call on line 10']\nE AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst.extend({float(1.0)})\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \n assert not ['Did not expect error incompatible_call on line 10']", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd": "AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst += {float(1.0)}\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \nassert not ['Did not expect error incompatible_call on line 10']\nE AssertionError: Did not expect error incompatible_call on line 10\n \n Takes 0 positional arguments but 1 were given (code: incompatible_call)\n In at line 10\n 7: assert_is_value(\n 8: lst, make_simple_sequence(list, [TypedValue(int), TypedValue(str)])\n 9: )\n 10: lst += {float(1.0)}\n ^\n 11: assert_is_value(\n 12: lst,\n 13: make_simple_sequence(\n \n assert not ['Did not expect error incompatible_call on line 10']", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_index": "[...]ce_failure on line 4\n Did not expect error inference_failure on line 6\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(x):\n 2: lst = [\"a\", \"b\", int(x)]\n ^\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n \n Bad value inference: expected int, got Any[error] (code: inference_failure)\n In at line 4\n 1: def capybara(x):\n 2: lst = [\"a\", \"b\", int(x)]\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n ^\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n 6: assert_is_value(lst[5], KnownValue(\"a\") | KnownValue(\"b\") | TypedValue(int))\n \n Bad value inference: expected Union[int, Literal['a', 'b']], got Union[Any[error], Literal['a', 'b']] (code: inference_failure)\n In at line 6\n 3: assert_is_value(lst[0], KnownValue(\"a\"))\n 4: assert_is_value(lst[2], TypedValue(int))\n 5: assert_is_value(lst[-2], KnownValue(\"b\"))\n 6: assert_is_value(lst[5], KnownValue(\"a\") | KnownValue(\"b\") | TypedValue(int))\n ^\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 4', 'Did not expect error inference_failure on line 6']", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_index": "[...] 2', 'Did not expect error inference_failure on line 4']\nE AssertionError: Did not expect error incompatible_call on line 2\n Did not expect error inference_failure on line 4\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 2\n 1: def capybara(x):\n 2: tpl = (\"a\", \"b\", int(x))\n ^\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n \n Bad value inference: expected int, got Any[error] (code: inference_failure)\n In at line 4\n 1: def capybara(x):\n 2: tpl = (\"a\", \"b\", int(x))\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n ^\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n 6: assert_is_value(tpl[5], AnyValue(AnySource.error)) # E: incompatible_call\n \n Tuple index out of range: Literal[5] (code: incompatible_call)\n In at line 6\n 3: assert_is_value(tpl[0], KnownValue(\"a\"))\n 4: assert_is_value(tpl[2], TypedValue(int))\n 5: assert_is_value(tpl[-2], KnownValue(\"b\"))\n 6: assert_is_value(tpl[5], AnyValue(AnySource.error)) # E: incompatible_call\n ^\n \n assert not ['Did not expect error incompatible_call on line 2', 'Did not expect error inference_failure on line 4']", "pyanalyze/test_implementation.py::TestSequenceImpl::test": "[...] \n Bad value inference: expected tuple[int], got tuple[Any[error]] (code: inference_failure)\n In at line 19\n 16: assert_is_value(tuple({i: i for i in ints}), GenericValue(tuple, [one_two]))\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n ^\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n 21: )\n 22: \n \nassert not ['Did not expect error incompatible_call on line 20', 'Did not expect error inference_failure on line 19']\nE AssertionError: Did not expect error incompatible_call on line 20\n Did not expect error inference_failure on line 19\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 20\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n ^\n 21: )\n 22: \n 23: # fallback\n \n Bad value inference: expected tuple[int], got tuple[Any[error]] (code: inference_failure)\n In at line 19\n 16: assert_is_value(tuple({i: i for i in ints}), GenericValue(tuple, [one_two]))\n 17: \n 18: # SequenceValue\n 19: assert_is_value(\n ^\n 20: tuple([int(x)]), make_simple_sequence(tuple, [TypedValue(int)])\n 21: )\n 22: \n \n assert not ['Did not expect error incompatible_call on line 20', 'Did not expect error inference_failure on line 19']", "pyanalyze/test_implementation.py::TestSequenceImpl::test_not_iterable": "[...]3266115d868848d89> at line 2\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n ^\n 3: tuple(int(x)) # E: unsupported_operation\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 3\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n 3: tuple(int(x)) # E: unsupported_operation\n ^\n \nassert not ['Did not expect error incompatible_call on line 3', 'Expected unsupported_operation on line 3']\nE AssertionError: Did not expect error incompatible_call on line 3\n Expected unsupported_operation on line 3\n \n Literal[3] is not iterable (code: unsupported_operation)\n Literal[3] has no attribute '__iter__'\n \n In at line 2\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n ^\n 3: tuple(int(x)) # E: unsupported_operation\n \n Cannot call overloaded function (code: incompatible_call)\n In overload () -> int\n Takes 0 positional arguments but 1 were given\n In overload (x: Union[str, bytes, bytearray], /, base: typing.SupportsIndex) -> int\n Missing required argument 'base'\n \n In at line 3\n 1: def capybara(x):\n 2: tuple(3) # E: unsupported_operation\n 3: tuple(int(x)) # E: unsupported_operation\n ^\n \n assert not ['Did not expect error incompatible_call on line 3', 'Expected unsupported_operation on line 3']", "pyanalyze/test_runtime.py::TestRuntimeTypeGuard::test_runtime": "ModuleNotFoundError: No module named 'annotated_types'\nE ModuleNotFoundError: No module named 'annotated_types'", "pyanalyze/test_runtime.py::test_get_compatibility_error": "AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])\nE AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])", "pyanalyze/test_runtime.py::test_is_compatible": "assert not True\n + where True = is_compatible(42, typing.List[int])\nE assert not True\n + where True = is_compatible(42, typing.List[int])" }, "passed": [ "pyanalyze/test_implementation.py::TestSuperCall::test_basic", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_wrong_args_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_comprehension", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_gen_exp", "pyanalyze/test_implementation.py::TestSuperCall::test_super_no_args_in_nested_function", "pyanalyze/test_implementation.py::TestSuperCall::test_super_init_subclass", "pyanalyze/test_implementation.py::TestSuperCall::test_good_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call", "pyanalyze/test_implementation.py::TestSuperCall::test_first_arg_is_base", "pyanalyze/test_implementation.py::TestSuperCall::test_bad_super_call_classmethod", "pyanalyze/test_implementation.py::TestSuperCall::test_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_undefined_super_attribute", "pyanalyze/test_implementation.py::TestSuperCall::test_metaclass", "pyanalyze/test_implementation.py::TestSuperCall::test_mixin", "pyanalyze/test_implementation.py::TestSequenceImpl::test_union", "pyanalyze/test_implementation.py::TestFormat::test_basic", "pyanalyze/test_implementation.py::TestFormat::test_errors", "pyanalyze/test_implementation.py::TestFormat::test_union", "pyanalyze/test_implementation.py::TestTypeMethods::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test", "pyanalyze/test_implementation.py::TestEncodeDecode::test_encode_wrong_type", "pyanalyze/test_implementation.py::TestEncodeDecode::test_decode_wrong_type", "pyanalyze/test_implementation.py::TestLen::test", "pyanalyze/test_implementation.py::TestLen::test_narrowing", "pyanalyze/test_implementation.py::TestLen::test_wrong_type", "pyanalyze/test_implementation.py::TestBool::test_return_value", "pyanalyze/test_implementation.py::TestBool::test_constraint", "pyanalyze/test_implementation.py::TestCast::test", "pyanalyze/test_implementation.py::TestCast::test_undefined_name", "pyanalyze/test_implementation.py::TestSubclasses::test", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_pos_only", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_append_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_set_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_add", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_iadd_never", "pyanalyze/test_implementation.py::TestGenericMutators::test_weak_value", "pyanalyze/test_implementation.py::TestGenericMutators::test_starred_weak", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_wrong_type", "pyanalyze/test_implementation.py::TestGenericMutators::test_list_extend_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_get", "pyanalyze/test_implementation.py::TestGenericMutators::test_setdefault", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_pop_union", "pyanalyze/test_implementation.py::TestGenericMutators::test_dict_update", "pyanalyze/test_implementation.py::TestGenericMutators::test_copy_and_update", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_tuple_annotation", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_list_in_lambda", "pyanalyze/test_implementation.py::TestSequenceGetItem::test_subclasses", "pyanalyze/test_implementation.py::TestDictGetItem::test_unhashable", "pyanalyze/test_implementation.py::TestDictGetItem::test_invalid_typeddict_key", "pyanalyze/test_implementation.py::TestDictGetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictGetItem::test_complex_incomplete", "pyanalyze/test_implementation.py::TestDictGetItem::test", "pyanalyze/test_implementation.py::TestDictGetItem::test_type_as_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_setitem_valid", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_non_literal_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_unrecognized_key", "pyanalyze/test_implementation.py::TestDictSetItem::test_typeddict_bad_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_incomplete_value", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_key_type", "pyanalyze/test_implementation.py::TestDictSetItem::test_bad_value_type", "pyanalyze/test_implementation.py::TestIssubclass::test", "pyanalyze/test_implementation.py::TestIssubclass::test_negative_narrowing", "pyanalyze/test_implementation.py::TestCallableGuards::test_callable", "pyanalyze/test_implementation.py::TestAssertType::test_assert_type" ], "skipped": [] } ], "scope": { "c0_top_level": [ ".github", ".gitignore", "CONTRIBUTING.md", "LICENSE", "README.md", "docs", "pyanalyze", "pyproject.toml", "requirements.txt", "setup.py", "tox.ini" ], "protected_names": [ "CONTRIBUTING.md", "LICENSE", "README.md", "__future__", "_abc", "_aix_support", "_ast", "_asyncio", "_bisect", "_blake2", "_bz2", "_codecs", "_codecs_cn", "_codecs_hk", "_codecs_iso2022", "_codecs_jp", "_codecs_kr", "_codecs_tw", "_collections", "_collections_abc", "_compat_pickle", "_compression", "_contextvars", "_crypt", "_csv", "_ctypes", "_curses", "_curses_panel", "_datetime", "_dbm", "_decimal", "_elementtree", "_frozen_importlib", "_frozen_importlib_external", "_functools", "_gdbm", "_hashlib", "_heapq", "_imp", "_io", "_json", "_locale", "_lsprof", "_lzma", "_markupbase", "_md5", "_msi", "_multibytecodec", "_multiprocessing", "_opcode", "_operator", "_osx_support", "_overlapped", "_pickle", "_posixshmem", "_posixsubprocess", "_py_abc", "_pydatetime", "_pydecimal", "_pyio", "_pylong", "_pytest", "_queue", "_random", "_scproxy", "_sha1", "_sha2", "_sha3", "_signal", "_sitebuiltins", "_socket", "_sqlite3", "_sre", "_ssl", "_stat", "_statistics", "_string", "_strptime", "_struct", "_symtable", "_thread", "_threading_local", "_tkinter", "_tokenize", "_tracemalloc", "_typing", "_uuid", "_warnings", "_weakref", "_weakrefset", "_winapi", "_wmi", "_zoneinfo", "abc", "aifc", "aiofiles", "aiohappyeyeballs", "aiohttp", "aiohttp_retry", "aiosignal", "annotated_types", "antigravity", "anyio", "argparse", "array", "ast", "asyncio", "atexit", "attr", "attrs", "audioop", "base64", "bdb", "bidict", "binascii", "bisect", "builtins", "bz2", "cProfile", "calendar", "certifi", "cgi", "cgitb", "charset_normalizer", "chunk", "cmath", "cmd", "code", "codecs", "codeop", "collections", "colorsys", "compileall", "concurrent", "configparser", "conftest", "contextlib", "contextvars", "copy", "copyreg", "crypt", "csv", "ctypes", "curses", "dataclasses", "datetime", "dateutil", "daytona", "daytona_analytics_api_client", "daytona_analytics_api_client_async", "daytona_api_client", "daytona_api_client_async", "daytona_toolbox_api_client", "daytona_toolbox_api_client_async", "dbm", "decimal", "deprecated", "difflib", "dis", "docs", "doctest", "dotenv", "email", "encodings", "engineio", "ensurepip", "enum", "errno", "faulthandler", "fcntl", "filecmp", "fileinput", "fnmatch", "fractions", "frozenlist", "ftplib", "functools", "gc", "genericpath", "getopt", "getpass", "gettext", "glob", "google", "graphlib", "grp", "gzip", "h11", "hashlib", "heapq", "hmac", "html", "http", "httpcore", "httpcore2", "httpx", "httpx2", "httpx_ws", "idlelib", "idna", "imaplib", "imghdr", "importlib", "iniconfig", "inspect", "io", "ipaddress", "itertools", "jiter", "json", "keyword", "lib2to3", "linecache", "locale", "logging", "lzma", "mailbox", "mailcap", "marshal", "math", "mimetypes", "mmap", "modulefinder", "msilib", "msvcrt", "multidict", "multipart", "multiprocessing", "netrc", "nis", "nntplib", "nt", "ntpath", "nturl2path", "numbers", "obstore", "opcode", "openai", "opentelemetry", "operator", "optparse", "os", "ossaudiodev", "packaging", "pathlib", "pdb", "pickle", "pickletools", "pipes", "pkgutil", "platform", "plistlib", "pluggy", "poplib", "posix", "posixpath", "pprint", "profile", "propcache", "pstats", "pty", "pwd", "py", "py_compile", "pyanalyze", "pyclbr", "pydantic", "pydantic_core", "pydoc", "pydoc_data", "pyexpat", "pygments", "pyproject.toml", "pytest", "pytest_asyncio", "python_multipart", "queue", "quopri", "random", "re", "readline", "reprlib", "requests", "requirements.txt", "resource", "rlcompleter", "runpy", "sched", "secrets", "select", "selectors", "setup", "shelve", "shlex", "shutil", "signal", "simple_websocket", "site", "six", "smtplib", "sndhdr", "sniffio", "socket", "socketio", "socketserver", "spwd", "sqlite3", "sre_compile", "sre_constants", "sre_parse", "ssl", "stat", "statistics", "string", "stringprep", "struct", "subprocess", "sunau", "symtable", "sys", "sysconfig", "syslog", "tabnanny", "tarfile", "telnetlib", "tempfile", "termios", "textwrap", "this", "threading", "time", "timeit", "tkinter", "token", "tokenize", "toml", "tomllib", "tox.ini", "trace", "traceback", "tracemalloc", "truststore", "tty", "turtle", "turtledemo", "types", "typing", "typing_extensions", "typing_inspection", "unicodedata", "unittest", "urllib", "urllib3", "uu", "uuid", "venv", "warnings", "wave", "weakref", "webbrowser", "websocket", "winreg", "winsound", "wrapt", "wrapt-stubs", "wsgiref", "wsproto", "xdrlib", "xml", "xmlrpc", "yarl", "zipapp", "zipfile", "zipimport", "zlib", "zoneinfo" ] }, "skipped_ids": [], "spec_paths": [ "pyanalyze/test_implementation.py", "pyanalyze/test_runtime.py" ], "target": [ "pyanalyze/test_implementation.py::TestAny::test_call", "pyanalyze/test_runtime.py::test_is_compatible", "pyanalyze/test_runtime.py::test_get_compatibility_error" ], "target_failure_text": { "pyanalyze/test_implementation.py::TestAny::test_call": "AssertionError: Expected incompatible_call on line 4\n \nassert not ['Expected incompatible_call on line 4']\nE AssertionError: Expected incompatible_call on line 4\n \n assert not ['Expected incompatible_call on line 4']", "pyanalyze/test_runtime.py::test_get_compatibility_error": "AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])\nE AssertionError: assert None == 'Cannot assign Literal[42] to list\\n'\n + where None = get_compatibility_error(42, typing.List[int])", "pyanalyze/test_runtime.py::test_is_compatible": "assert not True\n + where True = is_compatible(42, typing.List[int])\nE assert not True\n + where True = is_compatible(42, typing.List[int])" }, "target_map": { "pyanalyze/test_implementation.py::TestAny::test_call": [ "pyanalyze/test_implementation.py::TestAny::test_call" ], "pyanalyze/test_runtime.py::test_get_compatibility_error": [ "pyanalyze/test_runtime.py::test_get_compatibility_error" ], "pyanalyze/test_runtime.py::test_is_compatible": [ "pyanalyze/test_runtime.py::test_is_compatible" ] }, "unstable": [] }