Reflecting requested changes

Author: gzoller

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionCompilerInterface.scala

@@ -1247,7 +1247,7 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
 
   def TypeRef_isOpaqueAlias(self: TypeRef)(given Context): Boolean = self.symbol.isOpaqueAlias
 
-  def TypeRef_opaqueAliasWrappedType(self: TypeRef)(given Context): Type = self.translucentSuperType
+  def TypeRef_translucentSuperType(self: TypeRef)(given Context): Type = self.translucentSuperType
 
   type NamedTermRef = Types.NamedType
 

compiler/test/dotty/tools/dotc/BootstrappedOnlyCompilationTests.scala

@@ -129,7 +129,6 @@ class BootstrappedOnlyCompilationTests extends ParallelTesting {
       compileFilesInDir("tests/run-staging", withStagingOptions),
       compileFilesInDir("tests/run-custom-args/tasty-inspector", withTastyInspectorOptions),
       compileDir("tests/run-custom-args/tasty-interpreter", withTastyInspectorOptions),
-      compileFile("tests/run-custom-args/i8163.scala", withTastyInspectorOptions),
     ).checkRuns()
   }
 

library/src/scala/tasty/Reflection.scala

@@ -1703,7 +1703,7 @@ class Reflection(private[scala] val internal: CompilerInterface) { self =>
     def qualifier(given ctx: Context): TypeOrBounds /* Type | NoPrefix */ = internal.TypeRef_qualifier(self)
     def name(given ctx: Context): String = internal.TypeRef_name(self)
     def isOpaqueAlias(given ctx: Context): Boolean = internal.TypeRef_isOpaqueAlias(self)
-    def opaqueAliasWrappedType(given ctx: Context): Type = internal.TypeRef_opaqueAliasWrappedType(self)
+    def translucentSuperType(given ctx: Context): Type = internal.TypeRef_translucentSuperType(self)
   }
 
   given (given Context): IsInstanceOf[SuperType] = internal.isInstanceOfSuperType

library/src/scala/tasty/reflect/CompilerInterface.scala

@@ -916,7 +916,7 @@ trait CompilerInterface {
   def TypeRef_qualifier(self: TypeRef)(given ctx: Context): TypeOrBounds
   def TypeRef_name(self: TypeRef)(given Context): String
   def TypeRef_isOpaqueAlias(self: TypeRef)(given Context): Boolean
-  def TypeRef_opaqueAliasWrappedType(self: TypeRef)(given Context): Type
+  def TypeRef_translucentSuperType(self: TypeRef)(given Context): Type
 
   /** Type of a `super` reference */
   type SuperType <: Type

tests/run-custom-args/i8163.scala renamed to tests/run-custom-args/tasty-inspector/i8163.scala

@@ -35,7 +35,7 @@ class TestInspector() extends TastyInspector
           case _ => throw new Exception("unexpected")
         }
         assert(shouldBePhoneType.isOpaqueAlias)
-        assert(shouldBePhoneType.opaqueAliasWrappedType.show == "scala.Predef.String")
+        assert(shouldBePhoneType.translucentSuperType.show == "scala.Predef.String")
 
         val shouldNotBePhone = interestingVals.find(_.name == "other").get
         val shouldNotBePhoneType = shouldNotBePhone.tpt.tpe match {