WIP: manipulate the type to avoid access using base

wvlet · Feb 28, 2024 · 113fa34 · 113fa34
1 parent e2b5c98
commit 113fa34
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala b/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala
@@ -764,8 +764,11 @@ private[surface] class CompileTimeSurfaceFactory[Q <: Quotes](using quotes: Q):
             targetTypeParent
 
           case TypeRef(ThisType(parent), _) =>
-            val result = simplifyTypeRef(parent).typeSymbol.typeMember(typeRepr.typeSymbol.name).typeRef
-            println(s"  case non-base ${typeRepr.show} $typeRepr -> $result")
+            println(s"  case non-base ${typeRepr.show} $typeRepr")
+            val parentRef = simplifyTypeRef(parent)
+            val result = parentRef.typeSymbol.typeMember(typeRepr.typeSymbol.name).typeRef
+            println(s"    -> parentRef: $result")
+            println(s"    -> result: $result")
             result
 
           case _ =>