Properly desugar inline given .. with ..

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

@@ -783,7 +783,7 @@ object desugar {
         DefDef(
           className.toTermName, joinParams(constrTparams, defParamss),
           classTypeRef, creatorExpr)
-          .withMods(companionMods | mods.flags.toTermFlags & GivenOrImplicit | Final)
+          .withMods(companionMods | mods.flags.toTermFlags & (GivenOrImplicit | Inline) | Final)
           .withSpan(cdef.span) :: Nil
       }
 
@@ -809,7 +809,7 @@ object desugar {
             Nil
         }
       }
-      val classMods = if mods.is(Given) then mods | Synthetic else mods
+      val classMods = if mods.is(Given) then mods &~ Inline | Synthetic else mods
       cpy.TypeDef(cdef: TypeDef)(
         name = className,
         rhs = cpy.Template(impl)(constr, parents1, clsDerived, self1,

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -3626,7 +3626,7 @@ object Parsers {
           val templ =
             if isStatSep || isStatSeqEnd then Template(constr, parents, Nil, EmptyValDef, Nil)
             else withTemplate(constr, parents)
-          if noParams then ModuleDef(name, templ)
+          if noParams && !mods.is(Inline) then ModuleDef(name, templ)
           else TypeDef(name.toTypeName, templ)
       end gdef
       finalizeDef(gdef, mods1, start)

tests/neg/i14177a.scala

@@ -0,0 +1,6 @@
+import scala.compiletime.*
+
+trait C[A]
+
+inline given [Tup <: Tuple]: C[Tup] with
+  val cs = summonAll[Tuple.Map[Tup, C]] // error cannot reduce inline match with

tests/pos/i14177b.scala

@@ -0,0 +1,15 @@
+class T
+
+inline given fail1: T with
+  val cs = scala.compiletime.summonAll[EmptyTuple]
+inline given fail2[X]: T with
+  val cs = scala.compiletime.summonAll[EmptyTuple]
+inline given fail3(using DummyImplicit): T with
+  val cs = scala.compiletime.summonAll[EmptyTuple]
+
+inline given ok1: T = new T:
+  val cs = scala.compiletime.summonAll[EmptyTuple]
+inline given ok2[X]: T = new T:
+  val cs = scala.compiletime.summonAll[EmptyTuple]
+inline given ok3(using DummyImplicit): T = new T:
+  val cs = scala.compiletime.summonAll[EmptyTuple]

tests/pos/i14282.scala

@@ -0,0 +1,13 @@
+trait Foo[A] {
+  inline def foo(): Unit
+}
+
+inline given FooA[A]: Foo[A] with {
+  inline def foo(): Unit = println()
+}
+def test1 = FooA.foo()
+
+inline given FooInt: Foo[Int] with {
+  inline def foo(): Unit = println()
+}
+def test2 = FooInt.foo()