Add spliced-captured path dependent type tests

Author: nicolasstucki

tests/pos-macros/this-type-capture/Macro_1.scala

@@ -0,0 +1,29 @@
+import scala.quoted.*
+
+object Macro:
+  inline def generateCode: Unit = ${ testThisPaths }
+
+  def testThisPaths(using Quotes): Expr[Unit] =
+    '{
+      trait E extends G:
+        type V
+        val f: F
+        ${
+          val expr = '{
+            // println(this) // FIXME: this should work
+            // println(f) // FIXME: this should work
+            // println(this.f) // FIXME: this should work
+            // println(??? : this.type) // FIXME: this should work
+            println(??? : V)
+            println(??? : this.V)
+            println(??? : this.f.V)
+            println(??? : this.f.type)
+          }
+          expr
+        }
+      trait F:
+        type V
+    }
+
+trait G:
+  val f: Any

tests/pos-macros/this-type-capture/Test_2.scala

@@ -0,0 +1 @@
+@main def test = Macro.generateCode