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

class redef1 {
    class redef1 {}
}