2 // This test exposed a bug that Dan found:
4 // The InnerBase used to be the `builder' that was passed to InnerBase,
5 // so even if InnerBase was a toplevel, it would be defined in the context
6 // of being nested. Buggy.
9 class Inner
: InnerBase
{
13 abstract class InnerBase
{
17 public static int Main () {