Regression tests

Author: som-snytt

tests/pos/i17631.scala

@@ -32,3 +32,9 @@ object Main {
     (bad1, bad2)
   }
 }
+
+def `i18388`: Unit =
+  def func(pred: [A] => A => Boolean): Unit =
+    val _ = pred
+    ()
+  val _ = func

tests/warn/unused-privates.scala

@@ -295,3 +295,12 @@ package locked:
   private[locked] def locker(): Unit = () // warn as we cannot distinguish unqualified private at top level
   package basement:
     private[locked] def shackle(): Unit = () // no warn as it is not top level at boundary
+
+object `i19998 refinement`:
+  trait Foo {
+    type X[a]
+  }
+  trait Bar[X[_]] {
+    private final type SelfX[a] = X[a] // was false positive
+    val foo: Foo { type X[a] = SelfX[a] }
+  }