Skip to content

Commit a6ada39

Browse files
committed
fix typo in error
1 parent 8432175 commit a6ada39

File tree

4 files changed

+11
-2
lines changed

4 files changed

+11
-2
lines changed

compiler/src/dotty/tools/dotc/typer/Checking.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1602,7 +1602,7 @@ trait Checking {
16021602
if !isEnumAnonCls then
16031603
if cdef.mods.isEnumCase then
16041604
if isJavaEnum then
1605-
report.error(em"paramerized case is not allowed in an enum that extends java.lang.Enum", cdef.srcPos)
1605+
report.error(em"parameterized case is not allowed in an enum that extends java.lang.Enum", cdef.srcPos)
16061606
else if cls.is(Case) || firstParent.is(Enum) then
16071607
// Since enums are classes and Namer checks that classes don't extend multiple classes, we only check the class
16081608
// parent.

tests/neg/enum-constrs.scala

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,8 @@ enum E[+T] extends java.lang.Enum[E[_]] { // error: An enum extending java.lang.
33
case S1, S2
44
case C() extends E[Int]
55
}
6+
7+
enum E2 extends java.lang.Enum[E2] {
8+
case S1, S2
9+
case C() extends E2 // error: parameterized case is not allowed
10+
}

tests/neg/trait-java-enum.scala

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
trait T extends java.lang.Enum[T]
2+
3+
enum MyEnum extends T { // error: enum class MyEnum extends java.lang.Enum[T], but the type argument must be the enum class itself
4+
case A, B
5+
}

tests/run/enum-constrs.check

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
Red
2-
S1
32
Car

0 commit comments

Comments
 (0)