diff --git a/compiler/src/dotty/tools/dotc/transform/PostTyper.scala b/compiler/src/dotty/tools/dotc/transform/PostTyper.scala index 6480ae7fdd05..f970e75177e3 100644 --- a/compiler/src/dotty/tools/dotc/transform/PostTyper.scala +++ b/compiler/src/dotty/tools/dotc/transform/PostTyper.scala @@ -704,6 +704,7 @@ class PostTyper extends MacroTransform with InfoTransformer { thisPhase => case _ => if parents1 ne info.parents then info.derivedClassInfo(declaredParents = parents1) else tp + case _ if sym.is(ConstructorProxy) => NoType case _ => tp private def argTypeOfCaseClassThatNeedsAbstractFunction1(sym: Symbol)(using Context): Option[List[Type]] =