From 7a9b189097314c639649c46a358c2b884fa5f081 Mon Sep 17 00:00:00 2001 From: bishabosha Date: Thu, 30 Jul 2020 10:48:41 +0100 Subject: [PATCH] print flags if -Ydebug --- compiler/src/dotty/tools/dotc/typer/Checking.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala index f216f344cfeb..1e87a08b0fe0 100644 --- a/compiler/src/dotty/tools/dotc/typer/Checking.scala +++ b/compiler/src/dotty/tools/dotc/typer/Checking.scala @@ -477,7 +477,8 @@ object Checking { if (sym.isValueClass && sym.is(Trait) && !sym.isRefinementClass) fail(CannotExtendAnyVal(sym)) if (sym.isConstructor && !sym.isPrimaryConstructor && sym.owner.is(Trait, butNot = JavaDefined)) - fail("Traits cannot have secondary constructors " + sym.owner.flagsString) + val addendum = if ctx.settings.Ydebug.value then s" ${sym.owner.flagsString}" else "" + fail("Traits cannot have secondary constructors" + addendum) checkCombination(Final, Open) checkCombination(Sealed, Open) checkCombination(Final, Sealed)