Merge pull request scala#11463 from dotty-staging/fix-11438

Fix scala#11438: fix typo in match type docs snippet
wi101 · Feb 18, 2021 · 9254ef6 · 9254ef6
2 parents a633e93 + 1fb3271
commit 9254ef6
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/docs/docs/reference/new-types/match-types.md b/docs/docs/reference/new-types/match-types.md
@@ -67,7 +67,7 @@ use of the match type as the return type):
 def leafElem[X](x: X): LeafElem[X] = x match
    case x: String      => x.charAt(0)
    case x: Array[t]    => leafElem(x(9))
-   case x: Iterable[t] => leafElem(x.next())
+   case x: Iterable[t] => leafElem(x.head)
    case x: AnyVal      => x
 ```
 

diff --git a/tests/pos/11463.scala b/tests/pos/11463.scala
@@ -0,0 +1,11 @@
+type LeafElem[X] = X match
+   case String => Char
+   case Array[t] => LeafElem[t]
+   case Iterable[t] => LeafElem[t]
+   case AnyVal => X
+
+def leafElem[X](x: X): LeafElem[X] = x match
+   case x: String      => x.charAt(0)
+   case x: Array[t]    => leafElem(x(9))
+   case x: Iterable[t] => leafElem(x.head)
+   case x: AnyVal      => x