Fix getter memoized field signature

Co-authored-by: Carlo Sana <sana.carlo@gmail.com>
Co-authored-by: Matt Bovel <matthieu@bovel.net>

Author: 2 people

compiler/src/dotty/tools/backend/jvm/BCodeHelpers.scala

@@ -397,6 +397,9 @@ trait BCodeHelpers extends BCodeIdiomatic {
       atPhase(erasurePhase) {
         val memberTpe =
           if (sym.is(Method)) sym.denot.info
+          else if sym.denot.validFor.phaseId > erasurePhase.id && sym.isField && sym.getter.exists then
+            // Memoization field of getter entered after erasure, see run/i17069 for an example
+            sym.getter.denot.info.resultType
           else owner.denot.thisType.memberInfo(sym)
         getGenericSignatureHelper(sym, owner, memberTpe).orNull
       }

tests/generic-java-signatures/17069.scala

@@ -0,0 +1,10 @@
+
+class Foo:
+  val generic: List[String] = ???
+
+@main def Test =
+  val tpe = classOf[Foo].getDeclaredField("generic").getGenericType()
+  assert(tpe.getTypeName == "scala.collection.immutable.List<java.lang.String>")
+
+  val tpe2 = classOf[Foo].getDeclaredMethod("generic").getGenericReturnType()
+  assert(tpe2.getTypeName == "scala.collection.immutable.List<java.lang.String>")