diff --git a/docs/docs/reference/new-types/union-types-spec.md b/docs/docs/reference/new-types/union-types-spec.md index 4888f0bf3880..4f08aab7fad1 100644 --- a/docs/docs/reference/new-types/union-types-spec.md +++ b/docs/docs/reference/new-types/union-types-spec.md @@ -134,6 +134,7 @@ trait A extends C with D trait B extends C with E def test(x: A | B) = x.hello // ok as `hello` is a member of the join of A | B which is C +``` ## Exhaustivity checking