Write-back is UTF-8

Author: som-snytt

compiler/src/dotty/tools/dotc/rewrites/Rewrites.scala

@@ -8,6 +8,8 @@ import collection.mutable
 import scala.annotation.tailrec
 import dotty.tools.dotc.reporting.Reporter
 
+import java.nio.charset.StandardCharsets.UTF_8
+
 /** Handles rewriting of Scala2 files to Dotty */
 object Rewrites {
   private class PatchedFiles extends mutable.HashMap[SourceFile, Patches]
@@ -56,7 +58,7 @@ object Rewrites {
 
     def writeBack(): Unit = {
       val chars = apply(source.underlying.content)
-      val bytes = new String(chars).getBytes
+      val bytes = new String(chars).getBytes(UTF_8)
       val out = source.file.output
       out.write(bytes)
       out.close()