diff options
Diffstat (limited to 'tests/bugs150/pr105181.aj')
-rw-r--r-- | tests/bugs150/pr105181.aj | 24 |
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 |