You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@groovy.apache.org by em...@apache.org on 2022/11/18 20:43:16 UTC
[groovy] branch GROOVY_3_0_X updated: GROOVY-10846: STC: use erasure for placeholder with no upper bound
This is an automated email from the ASF dual-hosted git repository.
emilles pushed a commit to branch GROOVY_3_0_X
in repository https://gitbox.apache.org/repos/asf/groovy.git
The following commit(s) were added to refs/heads/GROOVY_3_0_X by this push:
new 89874d74b5 GROOVY-10846: STC: use erasure for placeholder with no upper bound
89874d74b5 is described below
commit 89874d74b5a4376cc2453749636bb5338ba45218
Author: Eric Milles <er...@thomsonreuters.com>
AuthorDate: Fri Nov 18 13:30:49 2022 -0600
GROOVY-10846: STC: use erasure for placeholder with no upper bound
---
.../transform/stc/StaticTypeCheckingVisitor.java | 3 ++-
src/test/groovy/transform/stc/GenericsSTCTest.groovy | 19 +++++++++++++++++++
2 files changed, 21 insertions(+), 1 deletion(-)
diff --git a/src/main/java/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java b/src/main/java/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
index c1e57fdb75..299774bd39 100644
--- a/src/main/java/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
+++ b/src/main/java/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
@@ -3864,7 +3864,8 @@ public class StaticTypeCheckingVisitor extends ClassCodeVisitorSupport {
addSelfTypes(cn, owners);
}
} else {
- owners.add(Receiver.make(OBJECT_TYPE)); // T or T super Type
+ ClassNode cn = gt.getType().redirect(); // GROOVY-10846
+ owners.add(Receiver.make(cn)); // T or T super Type
}
}
diff --git a/src/test/groovy/transform/stc/GenericsSTCTest.groovy b/src/test/groovy/transform/stc/GenericsSTCTest.groovy
index 1107c28147..392c40d85d 100644
--- a/src/test/groovy/transform/stc/GenericsSTCTest.groovy
+++ b/src/test/groovy/transform/stc/GenericsSTCTest.groovy
@@ -4094,6 +4094,25 @@ class GenericsSTCTest extends StaticTypeCheckingTestCase {
'''
}
+ // GROOVY-10846
+ void testClassLevelGenericsForPropertyRead() {
+ for (vis in ['','public','protected','@groovy.transform.PackageScope']) {
+ assertScript """
+ class A {
+ $vis String b
+ }
+ class C<X extends A, Y extends List<X>> {
+ void test(X x) {
+ x.b = 'blah'
+ }
+ }
+ A a = []
+ new C<A, List<A>>().test(a)
+ assert a.b == 'blah'
+ """
+ }
+ }
+
// GROOVY-6919
void testMethodLevelGenericsForPropertyRead() {
assertScript '''