From 121a609bb61ad0828be3fa02f47639a803b9eaf7 Mon Sep 17 00:00:00 2001 From: Andrzej Ratajczak Date: Thu, 7 Oct 2021 15:42:35 +0200 Subject: [PATCH] Remove plugin related settings from common scala settings --- compiler/src/dotty/tools/dotc/config/ScalaSettings.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala index a73f174ef3a2..f972363e7d6f 100644 --- a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -40,7 +40,7 @@ object ScalaSettings: else defaultWidth } -trait AllScalaSettings extends CommonScalaSettings, VerboseSettings, WarningSettings, XSettings, YSettings: +trait AllScalaSettings extends CommonScalaSettings, PluginSettings, VerboseSettings, WarningSettings, XSettings, YSettings: self: SettingGroup => /* Path related settings */ @@ -84,7 +84,7 @@ trait AllScalaSettings extends CommonScalaSettings, VerboseSettings, WarningSett end AllScalaSettings /** Settings shared by compiler and scaladoc */ -trait CommonScalaSettings extends PluginSettings: +trait CommonScalaSettings: self: SettingGroup => /* Path related settings */