surface (fix): Fixes #3418 Handle surface of List of generic tuples

[OndrejSpanel]

Again starting with the test, passing in Scala 2

Let us see if I will be able to fix it, this time I am not yet sure where to start.

[OndrejSpanel]

Logging output, with added logging of resolvedTypeArgs and few other expressions:

==== method args of wvlet.airframe.surface.i3418.A[Int]
=== val data: scala.List[scala.Tuple2[scala.Predef.String, P]] Flags.Param false
===  a.args List(AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Tuple2),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scala)),object Predef),type String), TypeRef(NoPrefix,type P))))
===  typeArgTable Map(P -> TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),class Int))
===  resolvedTypeArgs List(AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Tuple2),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class scala)),object Predef),type String), TypeRef(NoPrefix,type P))))

The types need to be resolved recursively, so that type parameters are replaced even in inner types.

[OndrejSpanel]

Working in the surface sources is a pleasure - they are well structured and logical. I hope my contributions are able to keep up with the level expected.

[xerial]

Thanks for the recent report and contributions! I'll take a look.

Here are some tips for writing Scala 3 macros; I often check Dotty's source code https://github.com/lampepfl/dotty/blob/main/library/src/scala/quoted/Quotes.scala and look at xxxMethods extensions to understand what methods are available.

[OndrejSpanel]

@xerial Thanks for reviewing and merging. Would it be possible to publish the library with the current fixes, please?

I think all issues which were blocking my app port to Scala 3 should be resolved by now, other issues are non-blockers for me and can wait, but those until now made my app unusable (critical parts not compiling).

[xerial]

No problem. The release process is fully-aumoated, so 24.3.0 will be available soon.