diff -r 87ebf5a50283 -r 42267c650205 src/Pure/General/date.scala
--- a/src/Pure/General/date.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/General/date.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -50,10 +50,10 @@
     def pattern(pat: String): DateTimeFormatter = DateTimeFormatter.ofPattern(pat)
 
     def variants(pats: List[String], locs: List[Locale] = Nil): List[DateTimeFormatter] =
-      pats.flatMap(pat => {
+      pats.flatMap { pat =>
         val fmt = pattern(pat)
         if (locs.isEmpty) List(fmt) else locs.map(fmt.withLocale)
-      })
+      }
 
     @tailrec def try_variants(
       fmts: List[DateTimeFormatter],