From dfee5230c14a5ddec67464a60750c7a8a169b6ec Mon Sep 17 00:00:00 2001
From: Thanh Le <lenguyenthanh@hotmail.com>
Date: Fri, 9 Aug 2024 13:54:29 +0200
Subject: [PATCH] Bump scala 3.5.0-RC7

Also set `-source:3.7` as they delay [new givens prioritization scheme](https://github.com/scala/scala3/pull/19300https://github.com/scala/scala3/pull/19300) to scala 3.7.
And We want to keep using this new scheme as We already migrated to this
scheme.
---
 project/BuildSettings.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/project/BuildSettings.scala b/project/BuildSettings.scala
index 5b72dec6c9f5..b7b37562122e 100644
--- a/project/BuildSettings.scala
+++ b/project/BuildSettings.scala
@@ -6,7 +6,7 @@ object BuildSettings {
   import Dependencies._
 
   val lilaVersion        = "4.0"
-  val globalScalaVersion = "3.5.0-RC4"
+  val globalScalaVersion = "3.5.0-RC7"
 
   def buildSettings =
     Defaults.coreDefaultSettings ++ Seq(
@@ -47,7 +47,7 @@ object BuildSettings {
     "-Ybackend-parallelism:16", // https://github.com/scala/scala3/pull/15392
     // "-nowarn", // during migration
     // "-rewrite",
-    "-source:3.6-migration",
+    "-source:3.7",
     "-indent",
     // "-explaintypes",
     // "-explain",