We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 9dffbc1 + d664092 commit fcbe885Copy full SHA for fcbe885
docs/docs/reference/new-types/union-types-spec.md
@@ -136,6 +136,7 @@ exhaustive if all parts of the union are covered.
136
The erased type for `A | B` is the _erased least upper bound_ of the erased
137
types of `A` and `B`. Quoting from the documentation of `TypeErasure#erasedLub`,
138
the erased lub is computed as follows:
139
+
140
- if both argument are arrays of objects, an array of the erased lub of the element types
141
- if both arguments are arrays of same primitives, an array of this primitive
142
- if one argument is array of primitives and the other is array of objects, Object
0 commit comments