Only allow sound inline parameters in overrides

Inline overrides can only use inline parameters if the overriden parameter is inline.

Author: nicolasstucki

compiler/src/dotty/tools/dotc/config/Printers.scala

@@ -7,7 +7,7 @@ object Printers {
   }
 
   object noPrinter extends Printer {
-    inline override def println(inline msg: => String): Unit = ()
+    inline override def println(msg: => String): Unit = ()
   }
 
   val default = new Printer

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -451,7 +451,8 @@ object Checking {
           || sym.is(TermParam) && !sym.owner.isInlineMethod
           ))
       fail(ParamsNoInline(sym.owner))
-
+    if sym.isInlineMethod && !sym.is(Deferred) && sym.allOverriddenSymbols.nonEmpty then
+      checkInlineOverrideParameters(sym)
     if (sym.isOneOf(GivenOrImplicit)) {
       if (sym.owner.is(Package))
         fail(TopLevelCantBeImplicit(sym))
@@ -646,6 +647,18 @@ object Checking {
       val enumCls = enumCase.owner.linkedClass
       if !cls.info.parents.exists(_.typeSymbol == enumCls) then
         ctx.error(i"enum case does not extend its enum $enumCls", enumCase.sourcePos)
+
+  /** Check the inline override methods only use inline parameteres if they override an inline parameter. */
+  def checkInlineOverrideParameters(sym: Symbol)(using Context): Unit =
+    val params = sym.paramSymss.flatten
+    if params.exists(_.is(Inline)) then
+      for
+        sym2 <- sym.allOverriddenSymbols
+        (p1, p2) <- params.lazyZip(sym2.paramSymss.flatten)
+        if p1.is(Inline) && !p2.is(Inline)
+      do
+        ctx.error("Cannot override non-inline parameter with and inline parameter", p1.sourcePos)
+
 }
 
 trait Checking {

tests/neg/inline-parameter-override.scala

@@ -0,0 +1,35 @@
+
+
+abstract class Logger {
+  def log1(msg: String): Unit
+  inline def log2(msg: String): Unit
+  inline def log3(inline msg: String): Unit
+}
+
+class Logger1 extends Logger {
+  inline def log1(msg: String): Unit = ()
+  inline def log2(msg: String): Unit = ()
+  inline def log3(msg: String): Unit = ()
+}
+
+class Logger2 extends Logger {
+  inline def log1(inline msg: String): Unit = () // error: Cannot override non-inline parameter with and inline parameter
+  inline def log2(inline msg: String): Unit = () // error: Cannot override non-inline parameter with and inline parameter
+  inline def log3(inline msg: String): Unit = ()
+}
+
+trait A {
+  inline def f(inline a: Int): Int
+}
+
+trait B {
+  def f(a: Int): Int
+}
+
+class C extends A, B {
+  inline def f(inline a: Int): Int = 3 // error: Cannot override non-inline parameter with and inline parameter
+}
+
+class D extends B, A {
+  inline def f(inline a: Int): Int = 3 // error: Cannot override non-inline parameter with and inline parameter
+}

tests/run/inline-override-num.scala

@@ -4,7 +4,7 @@ trait Num[T] {
 
 object Num {
   class IntNum extends Num[Int] {
-    inline def plus(inline x: Int, inline y: Int): Int = x + y
+    inline def plus(x: Int, y: Int): Int = x + y
   }
   given IntNum