Explore index
Covariant Arrays
A typing rule letting arrays of a subtype be used as arrays of a supertype, which can permit unsafe writes.
No public content is connected to this entity yet.
Explore index
A typing rule letting arrays of a subtype be used as arrays of a supertype, which can permit unsafe writes.
No public content is connected to this entity yet.