list[type, type, ...] ?!

[Greg Ewing]

On 3/12/20 7:37 pm, Paul Bryan wrote:
>>>> list[int, int]
> list[int, int]
> 
> In fact, it appears I can specify an indeterminate number of types.

I think the built-in generic alias just provides the minimum
necessary to be able to write sometype[arg, ...]. It doesn't
know anything about the semantics with respect to particular
types -- that's left to the type checkers.

-- 
Greg