diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
index c708b56517ab..54ef207759aa 100644
--- a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
+++ b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -488,7 +488,7 @@ object SymDenotations {
           if kind == FlatName && !encl.is(JavaDefined) then qn.compactified else qn
         val fn = name replace {
           case name: SimpleName => qualify(name)
-          case name @ AnyQualifiedName(_, _) => qualify(name.mangled.toSimpleName)
+          case name @ AnyQualifiedName(_, _) => qualify(name.toSimpleName)
         }
         if (name.isTypeName) fn.toTypeName else fn.toTermName
       }
diff --git a/tests/run/i14667.check b/tests/run/i14667.check
new file mode 100644
index 000000000000..c8d20b8c1a06
--- /dev/null
+++ b/tests/run/i14667.check
@@ -0,0 +1,2 @@
+sigma
+alpha beta gamma
diff --git a/tests/run/i14667.scala b/tests/run/i14667.scala
new file mode 100644
index 000000000000..4c4950b4afc9
--- /dev/null
+++ b/tests/run/i14667.scala
@@ -0,0 +1,16 @@
+trait A {
+  private val ? = "sigma"
+  def a = ?
+
+  val ?? = "alpha beta gamma"
+  def b = ??
+}
+
+class B extends A
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    println(new B().a)
+    println(new B().b)
+  }
+}