On Mon, May 4, 2020 at 10:03 Antoine Pitrou <solipsis@pitrou.net> wrote:
Of course, that's why I originally suggested that `Dict[...]` should be
spelled `Dict(...)` instead.
...and we’d be hosed now with no path from Dict to dict.
--
--Guido (mobile)
