added test for pr105181

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/bugs150/pr105181.aj b/tests/bugs150/pr105181.aj
new file mode 100644
index 000000000..6ac65726b
--- /dev/null
+++ b/tests/bugs150/pr105181.aj
@@ -0,0 +1,24 @@
+class Foo {}
+aspect Injector {
+  Foo Foo.field;
+  public Foo Foo.foo() { System.out.println("hello"); return field; }
+}
+
+public class pr105181 {
+  static void sink(Foo foo) {}
+  public static void main(String[] args) throws Exception {
+    java.util.Vector<Foo> source = new java.util.Vector<Foo>();
+    source.add(new Foo());
+
+    /**
+     * This next line causes a verify error when we try to access the ITD'd field
+     */
+    Foo f = source.get(0).field; 
+    
+    /**
+     * According to the bug report, this line should to - but I couldn't get a 
+     * method to fail...
+     */
+    Foo f2 = source.get(0).foo();
+  }
+}
\ No newline at end of file