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/09/22 17:51:24 UTC
[groovy] branch GROOVY_4_0_X updated: GROOVY-10767: add test case
This is an automated email from the ASF dual-hosted git repository.
emilles pushed a commit to branch GROOVY_4_0_X
in repository https://gitbox.apache.org/repos/asf/groovy.git
The following commit(s) were added to refs/heads/GROOVY_4_0_X by this push:
new 63a15d7261 GROOVY-10767: add test case
63a15d7261 is described below
commit 63a15d7261d3d236bb57b5d0da5f4dedf418d258
Author: Eric Milles <er...@thomsonreuters.com>
AuthorDate: Thu Sep 22 12:46:10 2022 -0500
GROOVY-10767: add test case
---
.../traitx/TraitASTTransformationTest.groovy | 29 ++++++++++++++++++++++
1 file changed, 29 insertions(+)
diff --git a/src/test/org/codehaus/groovy/transform/traitx/TraitASTTransformationTest.groovy b/src/test/org/codehaus/groovy/transform/traitx/TraitASTTransformationTest.groovy
index deb5918464..5e50a629ea 100644
--- a/src/test/org/codehaus/groovy/transform/traitx/TraitASTTransformationTest.groovy
+++ b/src/test/org/codehaus/groovy/transform/traitx/TraitASTTransformationTest.groovy
@@ -2837,6 +2837,35 @@ final class TraitASTTransformationTest {
'''
}
+ @Test // GROOVY-10767
+ void testSimpleSelfTypeInSubTrait2() {
+ assertScript shell, '''
+ trait A {
+ void methodA() {
+ }
+ }
+ @TypeChecked
+ @SelfType(T)
+ trait B implements A {
+ void methodB() {
+ methodA() // Cannot find matching method <UnionType:T+B>#methodA()
+ }
+ }
+ class C extends T implements B {
+ void method() {
+ methodA()
+ methodB()
+ }
+ }
+ class T {
+ void methodT() {
+ }
+ }
+
+ new C().method()
+ '''
+ }
+
@Test
void testDoubleSelfType() {
assertScript shell, '''