Fix #6518: Add type parameters to class type before asking for members

Author: nicolasstucki

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

@@ -1556,7 +1556,8 @@ class KernelImpl(val rootContext: core.Contexts.Context, val rootPosition: util.
   }
 
   def ClassDefSymbol_methods(self: Symbol)(implicit ctx: Context): List[DefDefSymbol] = {
-    self.typeRef.allMembers.iterator.map(_.symbol).collect {
+    val classTpe = self.typeRef.appliedTo(self.typeParams.map(_.info.hiBound))
+    classTpe.allMembers.iterator.map(_.symbol).collect {
       case sym if isMethod(sym) => sym.asTerm
     }.toList
   }

tests/run-macros/i6518.check

@@ -0,0 +1,191 @@
+!=
+##
+$asInstanceOf$
+$isInstanceOf$
+++
+++:
+++:
++:
+/:
+:+
+::
+:::
+:\
+==
+addString
+addString
+addString
+aggregate
+andThen
+apply
+applyOrElse
+asInstanceOf
+canEqual
+clone
+collect
+collectFirst
+combinations
+companion
+compose
+contains
+containsSlice
+copyToArray
+copyToArray
+copyToArray
+copyToBuffer
+corresponds
+count
+diff
+distinct
+drop
+dropRight
+dropWhile
+endsWith
+eq
+equals
+exists
+filter
+filterImpl
+filterNot
+finalize
+find
+flatMap
+flatten
+fold
+foldLeft
+foldRight
+forall
+foreach
+genericBuilder
+getClass
+groupBy
+grouped
+hasDefiniteSize
+hashCode
+head
+headOption
+indexOf
+indexOf
+indexOfSlice
+indexOfSlice
+indexWhere
+indexWhere
+indices
+init
+inits
+intersect
+isDefinedAt
+isEmpty
+isInstanceOf
+isTraversableAgain
+iterator
+last
+lastIndexOf
+lastIndexOf
+lastIndexOfSlice
+lastIndexOfSlice
+lastIndexWhere
+lastIndexWhere
+lastOption
+length
+lengthCompare
+lift
+map
+mapConserve
+max
+maxBy
+min
+minBy
+mkString
+mkString
+mkString
+ne
+newBuilder
+nonEmpty
+notify
+notifyAll
+orElse
+padTo
+par
+parCombiner
+partition
+patch
+permutations
+prefixLength
+product
+productArity
+productElement
+productIterator
+productPrefix
+reduce
+reduceLeft
+reduceLeftOption
+reduceOption
+reduceRight
+reduceRightOption
+repr
+reverse
+reverseIterator
+reverseMap
+reverse_:::
+reversed
+runWith
+sameElements
+scan
+scanLeft
+scanRight
+segmentLength
+seq
+size
+sizeHintIfCheap
+slice
+sliceWithKnownBound
+sliceWithKnownDelta
+sliding
+sliding
+sortBy
+sortWith
+sorted
+span
+splitAt
+startsWith
+startsWith
+stringPrefix
+sum
+synchronized
+tail
+tails
+take
+takeRight
+takeWhile
+thisCollection
+to
+toArray
+toBuffer
+toCollection
+toIndexedSeq
+toIterable
+toIterator
+toList
+toMap
+toSeq
+toSet
+toStream
+toString
+toTraversable
+toVector
+transpose
+union
+unzip
+unzip3
+updated
+view
+view
+wait
+wait
+wait
+withFilter
+writeReplace
+zip
+zipAll
+zipWithIndex

tests/run-macros/i6518/Macro_1.scala

@@ -0,0 +1,14 @@
+import scala.quoted._
+import scala.quoted.autolift._
+import scala.tasty._
+
+object Macros {
+
+  inline def test(): String = ${ testImpl }
+
+  private def testImpl(implicit reflect: Reflection): Expr[String] = {
+    import reflect._
+    typeOf[List[_]].classSymbol.get.methods.map(_.name).sorted.mkString("\n")
+  }
+
+}

tests/run-macros/i6518/Test_2.scala

@@ -0,0 +1,8 @@
+
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    println(Macros.test())
+  }
+
+}