From 113fa34d25d507eb3579370db65bf17c973ab5c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C5=A0pan=C4=9Bl?=
 <OndrejSpanel@users.noreply.github.com>
Date: Wed, 28 Feb 2024 16:40:47 +0100
Subject: [PATCH] WIP: manipulate the type to avoid access using base

---
 .../wvlet/airframe/surface/CompileTimeSurfaceFactory.scala | 7 +++++--
 1 file changed, 5 insertions(+), 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
index 25f240f06..9ba643999 100644
--- 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 _ =>