actually check if a symbol is infix before failing with ToplevelDefCantBeInfix

arainko · arainko · commit 1dd1af86dee6 · 2023-07-01T14:21:10.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -561,7 +561,7 @@ object Checking {
         fail(CannotHaveSameNameAs(sym, cls, CannotHaveSameNameAs.CannotBeOverridden))
         sym.setFlag(Private) // break the overriding relationship by making sym Private
       }
-    if sym.isWrappedToplevelDef && !sym.isType then fail(ToplevelDefCantBeInfix(sym))
+    if sym.isWrappedToplevelDef && !sym.isType && sym.flags.is(Infix) then fail(ToplevelDefCantBeInfix(sym))
     checkApplicable(Erased,
       !sym.isOneOf(MutableOrLazy, butNot = Given) && !sym.isType || sym.isClass)
     checkCombination(Final, Open)

Original file line number	Diff line number	Diff line change
`@@ -561,7 +561,7 @@ object Checking {`
`561`	`561`	`fail(CannotHaveSameNameAs(sym, cls, CannotHaveSameNameAs.CannotBeOverridden))`
`562`	`562`	`sym.setFlag(Private) // break the overriding relationship by making sym Private`
`563`	`563`	`}`
`564`		`- if sym.isWrappedToplevelDef && !sym.isType then fail(ToplevelDefCantBeInfix(sym))`
	`564`	`+ if sym.isWrappedToplevelDef && !sym.isType && sym.flags.is(Infix) then fail(ToplevelDefCantBeInfix(sym))`
`565`	`565`	`checkApplicable(Erased,`
`566`	`566`	`!sym.isOneOf(MutableOrLazy, butNot = Given) && !sym.isType \|\| sym.isClass)`
`567`	`567`	`checkCombination(Final, Open)`