package bar.foo;
// A case of innerclass redefinition

class redef2 {
    class foo {class redef2{}}
}