Merge remote-tracking branch 'upstream/main' into flexible-types

Handle flexible types in isConcrete.

Author: noti0na1

.github/Dockerfile

@@ -0,0 +1,25 @@
+FROM ubuntu:22.04
+
+# The default locale is "POSIX" which is just ASCII.
+ENV LANG C.UTF-8
+ENV DEBIAN_FRONTEND noninteractive
+ENV TZ Europe/Zurich
+
+# Add packages to image, set default JDK version
+RUN apt-get update && \
+    apt-get upgrade -y && \
+    # Use a PPA to get Java 17
+    apt-get install -y software-properties-common && add-apt-repository ppa:openjdk-r/ppa && \
+    apt-get install -y bash curl git ssh htop nano vim-tiny zile \
+                       openjdk-8-jdk-headless \
+                       openjdk-17-jdk-headless \
+                       openjdk-21-jdk-headless && \
+    (curl -fsSL https://deb.nodesource.com/setup_18.x | bash -) && \
+    apt-get install -y nodejs
+
+
+# Install sbt
+ENV SBT_HOME /usr/local/sbt
+ENV PATH ${SBT_HOME}/bin:${PATH}
+ENV SBT_VERSION 1.9.0
+RUN curl -sL "https://github.com/sbt/sbt/releases/download/v$SBT_VERSION/sbt-$SBT_VERSION.tgz" | gunzip | tar -x -C /usr/local

.github/dependabot.yml

@@ -1,7 +1,10 @@
 version: 2
 updates:
-
-  - package-ecosystem: "github-actions"
+  - package-ecosystem: github-actions
     directory: "/"
     schedule:
-      interval: "weekly"
+      interval: weekly
+    assignees:
+      - hamzaremmal
+    reviewers:
+      - hamzaremmal

.github/workflows/lts-backport.yaml

@@ -15,7 +15,7 @@ jobs:
         with:
           fetch-depth: 0
       - uses: coursier/cache-action@v6
-      - uses: VirtusLab/[email protected].0
+      - uses: VirtusLab/[email protected].1
       - run: scala-cli ./project/scripts/addToBackportingProject.scala -- ${{ github.sha }}
         env:
           GRAPHQL_API_TOKEN: ${{ secrets.GRAPHQL_API_TOKEN }}

.github/workflows/spec.yml

@@ -45,7 +45,7 @@ jobs:
         env:
           USER_FOR_TEST: ${{ secrets.SPEC_DEPLOY_USER }}
         if: ${{ env.USER_FOR_TEST != '' }}
-        uses: burnett01/[email protected].0
+        uses: burnett01/[email protected].1
         with:
           switches: -rzv
           path: docs/_spec/_site/

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -1943,12 +1943,27 @@ object desugar {
       case AndType(tp1, tp2) => stripToCore(tp1) ::: stripToCore(tp2)
       case _ => defn.AnyType :: Nil
     }
+
+    val refinements1 = Trees.flatten:
+      refinements.mapConserve {
+        case tree: ValDef if tree.mods.is(Mutable) =>
+          val getter =
+            cpy.DefDef(tree)(name = tree.name, paramss = Nil, tpt = tree.tpt, rhs = tree.rhs)
+              .withFlags(tree.mods.flags & (AccessFlags | Synthetic))
+          val setterParam = makeSyntheticParameter(tpt = tree.tpt)
+          val setter =
+            cpy.DefDef(tree)(name = tree.name.setterName, paramss = List(List(setterParam)), tpt = untpd.scalaUnit, rhs = EmptyTree)
+              .withFlags(tree.mods.flags & (AccessFlags | Synthetic))
+          Thicket(getter, setter)
+        case tree => tree
+      }
+
     val parentCores = stripToCore(parent.tpe)
     val untpdParent = TypedSplice(parent)
     val (classParents, self) =
       if (parentCores.length == 1 && (parent.tpe eq parentCores.head)) (untpdParent :: Nil, EmptyValDef)
       else (parentCores map TypeTree, ValDef(nme.WILDCARD, untpdParent, EmptyTree))
-    val impl = Template(emptyConstructor, classParents, Nil, self, refinements)
+    val impl = Template(emptyConstructor, classParents, Nil, self, refinements1)
     TypeDef(tpnme.REFINE_CLASS, impl).withFlags(Trait)
   }