fix: disallow infix objects

Disallow `infix` objects by checking for the `infix` modifier in `Checking.scala`. Part of scala#17738
arainko · Jun 13, 2023 · a391f05 · a391f05
1 parent 2d9eb1c
commit a391f05
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -584,6 +584,8 @@ object Checking {
       report.error(ModifierNotAllowedForDefinition(Sealed), flagSourcePos(Sealed))
     if mods.is(Final, butNot = Synthetic) then
       report.warning(RedundantModifier(Final), flagSourcePos(Final))
+    if mods.is(Infix) then
+      report.error(ModifierNotAllowedForDefinition(Infix), flagSourcePos(Infix))
 
   /** Check the type signature of the symbol `M` defined by `tree` does not refer
    *  to a private type or value which is invisible at a point where `M` is still

diff --git a/tests/neg/i17738-infix-object/NestedInfixObject.scala b/tests/neg/i17738-infix-object/NestedInfixObject.scala
@@ -0,0 +1,2 @@
+object ToplevelObject:
+  infix object NestedInfixObject // error
diff --git a/tests/neg/i17738-infix-object/ToplevelInfixObject.scala b/tests/neg/i17738-infix-object/ToplevelInfixObject.scala
@@ -0,0 +1 @@
+infix object ToplevelInfixObject // error
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		object ToplevelObject:
		infix object NestedInfixObject // error