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.
1 parent b2f2db6 commit 4a51300Copy full SHA for 4a51300
docs/_docs/reference/new-types/union-types.md
@@ -23,7 +23,7 @@ Union types are duals of intersection types. `|` is _commutative_:
23
`A | B` is the same type as `B | A`.
24
25
The compiler will assign a union type to an expression only if such a
26
-type is explicitly given or the common supertype of all alternatives is [transparent](../other-new-features/transparent-traits.md).
+type is explicitly given or if the common supertype of all alternatives is [transparent](../other-new-features/transparent-traits.md).
27
28
29
This can be seen in the following [REPL](https://docs.scala-lang.org/overviews/repl/overview.html) transcript:
0 commit comments