Merge pull request #5016 from dotty-staging/fix-4961

Remove arbitrary use case of enum from documentation

Author: Blaisorblade

docs/docs/reference/enums/enums.md

@@ -88,35 +88,6 @@ object Planet {
       println(s"Your weight on $p is ${p.surfaceWeight(mass)}")
   }
 }
-```
-### A specific use case of enum
-
-Two enums can be combined into a different type as shown below:
- 
-```scala
-
-trait Animal
-object Animal {
-  def enumValues: Iterable[Animal] = Dog.enumValues ++ Cat.enumValues
-  def enumValueNamed = Dog.enumValueNamed ++ Cat.enumValueNamed
-}
-
-enum Dog extends Animal {
-  case GermanShepherd, Labrador, Boxer
-}
-
-enum Cat extends Animal {
-  case PersianCat, Ragdoll, ScottishFold
-}
-
-object Main {
-  def main(args: Array[String]): Unit = {
-    val values: Iterable[Animal] = Animal.enumValues
-    val boxer_dog: Animal = Animal.enumValueNamed("Boxer")
-    val ragdoll_cat: Animal = Animal.enumValueNamed("Ragdoll")
-  }
-}
-
 ```
 
 ### Implementation

tests/run/i4961.scala

@@ -0,0 +1,33 @@
+trait Animal
+object Animal {
+  def enumValues: Iterable[Animal] = Dog.enumValues ++ Cat.enumValues
+  def enumValueNamed = Dog.enumValueNamed ++ Cat.enumValueNamed
+}
+
+enum Dog extends Animal {
+  case GermanShepherd, Labrador, Boxer
+}
+
+enum Cat extends Animal {
+  case PersianCat, Ragdoll, ScottishFold
+}
+
+object Test {
+  import Dog._
+  import Cat._
+
+  def main(args: Array[String]): Unit = {
+    val values = List(
+      GermanShepherd,
+      Labrador,
+      Boxer,
+      PersianCat,
+      Ragdoll,
+      ScottishFold
+    )
+
+    assert(Animal.enumValues == values)
+    assert(Animal.enumValueNamed("Boxer") == Boxer)
+    assert(Animal.enumValueNamed("Ragdoll") == Ragdoll)
+  }
+}