From 26cc83536d4c75bb18c172b22cff10f8fec5be05 Mon Sep 17 00:00:00 2001 From: Ivan Levkivskyi Date: Sun, 19 Nov 2017 10:02:12 +0100 Subject: [PATCH 1/2] Re-allow the test with correct output --- test-data/unit/pythoneval.test | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test-data/unit/pythoneval.test b/test-data/unit/pythoneval.test index 3ad29ba36893..0e885da52d7d 100644 --- a/test-data/unit/pythoneval.test +++ b/test-data/unit/pythoneval.test @@ -1402,6 +1402,11 @@ o: object = p it2: Iterable[int] = p [out] _testCanConvertTypedDictToAnySuperclassOfMapping.py:11: error: Incompatible types in assignment (expression has type "Point", variable has type "Iterable[int]") +_testCanConvertTypedDictToAnySuperclassOfMapping.py:11: note: Following member(s) of "Point" have conflicts: +_testCanConvertTypedDictToAnySuperclassOfMapping.py:11: note: Expected: +_testCanConvertTypedDictToAnySuperclassOfMapping.py:11: note: def __iter__(self) -> Iterator[int] +_testCanConvertTypedDictToAnySuperclassOfMapping.py:11: note: Got: +_testCanConvertTypedDictToAnySuperclassOfMapping.py:11: note: def __iter__(self) -> Iterator[str] [case testAsyncioGatherPreciseType] import asyncio From c2515f38a0899b3023e059c312fc6086cf671fc1 Mon Sep 17 00:00:00 2001 From: Ivan Levkivskyi Date: Sun, 19 Nov 2017 10:09:53 +0100 Subject: [PATCH 2/2] Re-enable the test --- test-data/unit/pythoneval.test | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test-data/unit/pythoneval.test b/test-data/unit/pythoneval.test index 0e885da52d7d..67374962afc3 100644 --- a/test-data/unit/pythoneval.test +++ b/test-data/unit/pythoneval.test @@ -1388,7 +1388,7 @@ def foo(mymap) -> MyNamedTuple: return next((mymap[key] for key in mymap), None) [out] -[case testCanConvertTypedDictToAnySuperclassOfMapping-skip] +[case testCanConvertTypedDictToAnySuperclassOfMapping] from mypy_extensions import TypedDict from typing import Sized, Iterable, Container