2 files changed, 5 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala
index b02b0ad21..7ba66e3d8 100644
--- a/src/dotty/tools/dotc/typer/Checking.scala
+++ b/src/dotty/tools/dotc/typer/Checking.scala
@@ -45,7 +45,7 @@ object Checking {
     for ((arg, which, bound) <- ctx.boundsViolations(args, boundss, instantiate))
       ctx.error(
           ex"Type argument ${arg.tpe} does not conform to $which bound $bound ${err.whyNoMatchStr(arg.tpe, bound)}",
-          arg.pos)
+          arg.pos.focus)
   }
 
   /** Check that type arguments `args` conform to corresponding bounds in `poly`
@@ -98,9 +98,9 @@ object Checking {
             checkWildcardHKApply(tycon.tpe.appliedTo(args.map(_.tpe)), tree.pos)
           checkValidIfHKApply(ctx.addMode(Mode.AllowLambdaWildcardApply))
         case Select(qual, name) if name.isTypeName =>
-          checkRealizable(qual.tpe, qual.pos)
+          checkRealizable(qual.tpe, qual.pos.focus)
         case SingletonTypeTree(ref) =>
-          checkRealizable(ref.tpe, ref.pos)
+          checkRealizable(ref.tpe, ref.pos.focus)
         case _ =>
       }
       traverseChildren(tree)
@@ -378,7 +378,7 @@ object Checking {
             if (tp.symbol.is(Private) &&
                 !accessBoundary(sym).isContainedIn(tp.symbol.owner)) {
               errors = (em"non-private $sym refers to private ${tp.symbol}\n in its type signature ${sym.info}",
-                        pos) :: errors
+                        sym.pos) :: errors
               tp
             }
             else mapOver(tp)
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index a4dc2f871..bbb20bcf5 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -1259,7 +1259,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
     val impl1 = cpy.Template(impl)(constr1, parents1, self1, body1)
       .withType(dummy.nonMemberTermRef)
     checkVariance(impl1)
-    if (!cls.is(AbstractOrTrait) && !ctx.isAfterTyper) checkRealizableBounds(cls.typeRef, cdef.pos)
+    if (!cls.is(AbstractOrTrait) && !ctx.isAfterTyper) checkRealizableBounds(cls.typeRef, cdef.namePos)
     val cdef1 = assignType(cpy.TypeDef(cdef)(name, impl1, Nil), cls)
     if (ctx.phase.isTyper && cdef1.tpe.derivesFrom(defn.DynamicClass) && !ctx.dynamicsEnabled) {
       val isRequired = parents1.exists(_.tpe.isRef(defn.DynamicClass))