Andrew Koenig wrote: > def foo(a: T1) -> T2: > > I am presumably going to accept an argument of type T1 or a type derived > from T1,
You're making assumptions about the semantics of the annotations here, which I thought wasn't going to be done. -- Greg _______________________________________________ Python-3000 mailing list Python-3000@python.org http://mail.python.org/mailman/listinfo/python-3000 Unsubscribe: http://mail.python.org/mailman/options/python-3000/archive%40mail-archive.com
