Put the rest of the top-level interface together

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test02 / test02.java

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java b/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
index 893927bcd17d500fe31f2c78829a2bdd9a705354..ae7d234fc8d3e176701651d06850cc78df379727 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
@@ -244,3 +244,13 @@ task AliasParamToNew( Voo v{ f }, Voo w{ f } ) {
 
   taskexit( v{ !f }, w{ !f } );
 }
+
+task AliasNewToNew( Voo v{ f }, Voo w{ f } ) {
+  
+  Baw m = new Baw();
+
+  Voo x = new Voo();
+  x.b = m;
+
+  taskexit( v{ !f }, w{ !f } );
+}