Many of the TypedDict tests in mypy/test/testextensions.py don't actually typecheck, even under 3.6 with the eval'd code placed properly in the codebase. This likely indicates a problem with the tests, as the constructs used are intended to typecheck. This is also the only remaining part of mypy that isn't fully typechecked.