Can a generic class have a non-generic nested type?

[taylorswift]

@anon9791410

Constraining a nested type to one particular outer type effectively makes the type non-generic. However, the outer type is still generic—you can just use it implicitly because the compiler knows there's only one option for the nested type. You can use any type for the generic removal.

i am definitely going to start doing this more. one issue i’ve observed is documentation tooling will vacuum up the sameType constraint and parrot it everywhere on all of Bart’s APIs. but this is a surmountable problem that should be addressed with better tooling heuristics.

thanks Jessy for the new technique!