Merge pull request #1887 from dotty-staging/fix-#1867

Fix #1867: Set position of empty refined types

Author: smarter

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

@@ -1030,7 +1030,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
 
   def typedRefinedTypeTree(tree: untpd.RefinedTypeTree)(implicit ctx: Context): RefinedTypeTree = track("typedRefinedTypeTree") {
     val tpt1 = if (tree.tpt.isEmpty) TypeTree(defn.ObjectType) else typedAheadType(tree.tpt)
-    val refineClsDef = desugar.refinedTypeToClass(tpt1, tree.refinements)
+    val refineClsDef = desugar.refinedTypeToClass(tpt1, tree.refinements).withPos(tree.pos)
     val refineCls = createSymbol(refineClsDef).asClass
     val TypeDef(_, impl: Template) = typed(refineClsDef)
     val refinements1 = impl.body

tests/pos/i1867.scala

@@ -0,0 +1,3 @@
+trait B {
+  def f1: {}
+}