New regression test: externalized role in base-side of declared lifting

(no failure observed).

1 files changed, 31 insertions, 0 deletions

diff --git a/testplugins/org.eclipse.objectteams.otdt.tests/otjld/org/eclipse/objectteams/otdt/tests/otjld/liftlower/DeclaredLifting.java b/testplugins/org.eclipse.objectteams.otdt.tests/otjld/org/eclipse/objectteams/otdt/tests/otjld/liftlower/DeclaredLifting.java
index 37ca0ecc3..0dbb0dd20 100644
--- a/testplugins/org.eclipse.objectteams.otdt.tests/otjld/org/eclipse/objectteams/otdt/tests/otjld/liftlower/DeclaredLifting.java
+++ b/testplugins/org.eclipse.objectteams.otdt.tests/otjld/org/eclipse/objectteams/otdt/tests/otjld/liftlower/DeclaredLifting.java
@@ -1274,4 +1274,35 @@ public class DeclaredLifting extends AbstractOTJLDTest {
     		},
     		"OK0");
     }
+    
+    public void test6113_declaredLiftingOfExternalizedRole1() {
+    	runConformTest(new String[] {
+    		"Team6113dloer1_2.java",
+    			"public team class Team6113dloer1_2 {\n" +
+    			"final static Team6113dloer1_1 other = new Team6113dloer1_1();\n" +
+    			"    protected class R playedBy R<@other> {\n" +
+    			"        void test() -> void test();\n" +
+    			"    }\n" +
+    			"    void test(R<@other> as R r) {\n" +
+    			"        r.test();\n" +
+    			"    }\n" +
+    			"    public static void main(String[] args) {\n" +
+    			"        other.val = \"OK\";\n" +
+    			"        new Team6113dloer1_2().test(other.getR());\n" +
+    			"    }\n" +
+    			"}\n",
+    		"Team6113dloer1_1.java",
+    			"public team class Team6113dloer1_1 {\n" +
+    			"public String val;\n" +
+    			"public class R {\n" +
+    			"    public void test() {\n" +
+    			"        System.out.print(val);\n" +
+    			"    }\n" +
+    			"}\n" +
+    			"public R getR() { return new R(); }\n" +
+    			"}\n"
+    	},
+    	"OK");
+    }
+
 }