More detail in explanation for 'traits cannot extend AnyVal'

ennru · ennru · commit e5f17ccf32a4 · 2017-05-20T15:19:10.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -1473,6 +1473,7 @@ object messages {
     val explanation =
       hl"""Only classes (not traits) are allowed to extend ${"AnyVal"}, but traits may extend
           |${"Any"} to become ${Green("\"universal traits\"")} which may only have ${"def"} members.
+          |Universal traits can be mixed in to classes that extend ${"AnyVal"}.
           |"""
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1473,6 +1473,7 @@ object messages {`
`1473`	`1473`	`val explanation =`
`1474`	`1474`	`hl"""Only classes (not traits) are allowed to extend ${"AnyVal"}, but traits may extend`
`1475`	`1475`	`\|${"Any"} to become ${Green("\"universal traits\"")} which may only have ${"def"} members.`
	`1476`	`+ \|Universal traits can be mixed in to classes that extend ${"AnyVal"}.`
`1476`	`1477`	`\|"""`
`1477`	`1478`	`}`
`1478`	`1479`