Fix #6795: Print flagString

nicolasstucki · nicolasstucki · commit d3377655fcc0 · 2019-07-03T15:47:14.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Namer.scala b/compiler/src/dotty/tools/dotc/typer/Namer.scala
@@ -284,7 +284,7 @@ class Namer { typer: Typer =>
           case _ => (flags.isTermFlags, flags.toTermFlags, "value")
         }
         if (!ok)
-          ctx.error(i"modifier(s) `$flags' incompatible with $kind definition", tree.sourcePos)
+          ctx.error(i"modifier(s) `${flags.flagsString}' incompatible with $kind definition", tree.sourcePos)
         adapted
       }
 
diff --git a/tests/neg/i6795.check b/tests/neg/i6795.check
@@ -0,0 +1,4 @@
+-- Error: tests/neg/i6795.scala:1:13 -----------------------------------------------------------------------------------
+1 |erased class Foo // error
+  |^^^^^^^^^^^^^^^^
+  |modifier(s) `erased' incompatible with type definition
diff --git a/tests/neg/i6795.scala b/tests/neg/i6795.scala
@@ -0,0 +1 @@
+erased class Foo // error

Original file line number	Diff line number	Diff line change
`@@ -284,7 +284,7 @@ class Namer { typer: Typer =>`
`284`	`284`	`case _ => (flags.isTermFlags, flags.toTermFlags, "value")`
`285`	`285`	`}`
`286`	`286`	`if (!ok)`
`287`		- ctx.error(i"modifier(s) `$flags' incompatible with $kind definition", tree.sourcePos)
	`287`	+ ctx.error(i"modifier(s) `${flags.flagsString}' incompatible with $kind definition", tree.sourcePos)
`288`	`288`	`adapted`
`289`	`289`	`}`
`290`	`290`