From ccc14cbb02e7af391c12f577a069a2347ea1305d Mon Sep 17 00:00:00 2001
From: Matthias Kurz <m.kurz@irregular.at>
Date: Mon, 11 Sep 2023 20:03:53 +0200
Subject: [PATCH] -Xmigration for Scala 2.13.12

---
 src/main/scala/interplay/PlayBuildBase.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/interplay/PlayBuildBase.scala b/src/main/scala/interplay/PlayBuildBase.scala
index bfd3010..d7c3d10 100644
--- a/src/main/scala/interplay/PlayBuildBase.scala
+++ b/src/main/scala/interplay/PlayBuildBase.scala
@@ -60,7 +60,7 @@ object PlayBuildBase extends AutoPlugin {
 
     scalacOptions ++= Seq("-deprecation", "-feature", "-unchecked", "-encoding", "utf8") ++
       (CrossVersion.partialVersion(scalaVersion.value) match {
-        case Some((2, 13)) => Seq("-Xsource:3")
+        case Some((2, 13)) => Seq("-Xsource:3", "-Xmigration")
         case _ => Seq.empty
       }),
     javacOptions ++= Seq("-encoding", "UTF-8", "-Xlint:-options"),