More test cases

Author: odersky

tests/pos/i16119.scala

@@ -14,3 +14,22 @@ class Foo2:
     inline def baz(): Any = ??? : self.type
 
   bar.baz()
+
+class Foo3:
+
+  type T
+  object bar:
+    inline def baz(): Any = ??? : List[T]
+
+  bar.baz()
+
+class Foo4:
+  self =>
+
+  type T
+  object bar:
+    inline def baz(): Any =
+      val xs: Foo4 { type T = self.T } = ???
+      xs
+
+  bar.baz()