diff --git a/tests/neg/i19413.scala b/tests/neg/i19413.scala
new file mode 100644
index 000000000000..92eb6ce611bd
--- /dev/null
+++ b/tests/neg/i19413.scala
@@ -0,0 +1,14 @@
+
+import hello.bla.* // error
+
+//transparent inline def hello: kla.type = kla // ok
+def hello: kla.type = kla
+
+object kla:
+  def ra = ???
+  object bla { val ra1 = 31 }
+
+//import kla.bla.ra1
+
+@main def test = println:
+  ra1
diff --git a/tests/pos/i20070.scala b/tests/pos/i20070.scala
new file mode 100644
index 000000000000..c3061239f6d7
--- /dev/null
+++ b/tests/pos/i20070.scala
@@ -0,0 +1,7 @@
+
+trait F[A]
+given F[Int] = new F {}
+def f[A: F] = { (x: A) => x }
+
+@main def test =
+  println(f[Int](1))