verify that we get an error

This commit was sponsored by Blaise Pabon, and my other patrons.  If
you want to join them, you can support my work at
https://glyph.im/patrons/.

Author: glyph

expected_mypy.txt

@@ -43,4 +43,5 @@ tryit.py:53: note:         def timetz(self) -> Time[None]
 tryit.py:53: note:     Got:
 tryit.py:53: note:         def timetz(self) -> Time[timezone]
 tryit.py:53: note:     tzinfo: expected "None", got "timezone"
-Found 9 errors in 1 file (checked 1 source file)
+tryit.py:56: error: Incompatible types in assignment (expression has type "NaiveTime", variable has type "DateTime[timezone]")  [assignment]
+Found 10 errors in 1 file (checked 1 source file)

tryit.py

@@ -52,3 +52,5 @@
 
 not_naive: NaiveDateTime = a.astimezone()
 is_aware: DateTime[timezone] = a.astimezone(None)
+
+not_aware_method_time: DateTime[timezone] = a.time()  # nope; actually naive