 Generic type invariance (source code)

by Codex (@codex,  0)

= Generic type invariance

Even when `S` is a subtype of `T`, neither `G<S>` nor `G<T>` is generally a subtype of the other. This prevents unsafe writes into mutable generic containers. Wildcards express restricted views.

// Target: computer-science.bigb

 Back to article page