Fix for 404601

Added 1.7.3 test suite

4 files changed, 22 insertions, 0 deletions

diff --git a/tests/bugs173/pr404601/user/IUser.java b/tests/bugs173/pr404601/user/IUser.java
new file mode 100644
index 000000000..63aa144eb
--- /dev/null
+++ b/tests/bugs173/pr404601/user/IUser.java
@@ -0,0 +1,3 @@
+public interface IUser {
+	void setUsername(String username);
+}
diff --git a/tests/bugs173/pr404601/user/Test.java b/tests/bugs173/pr404601/user/Test.java
new file mode 100644
index 000000000..9212b0f3e
--- /dev/null
+++ b/tests/bugs173/pr404601/user/Test.java
@@ -0,0 +1,3 @@
+public class Test {
+	public static void main(String[] argv) { new Youser("foo"); }
+}
diff --git a/tests/bugs173/pr404601/user/UserTrait.java b/tests/bugs173/pr404601/user/UserTrait.java
new file mode 100644
index 000000000..fc0d0df56
--- /dev/null
+++ b/tests/bugs173/pr404601/user/UserTrait.java
@@ -0,0 +1,12 @@
+public aspect UserTrait {
+	public interface I extends IUser { } 
+
+	declare parents : Youser implements I;
+
+	public void I.setUsername(String username) {
+		testSetUsername(username);
+	}
+
+	private void I.testSetUsername(String username) { }
+
+}
diff --git a/tests/bugs173/pr404601/user/Youser.java b/tests/bugs173/pr404601/user/Youser.java
new file mode 100644
index 000000000..6919b505c
--- /dev/null
+++ b/tests/bugs173/pr404601/user/Youser.java
@@ -0,0 +1,4 @@
+public class Youser {
+	public Youser(String username) { setUsername(username); }
+	public void testSetUsername(String username) { }
+}