
        abstract contract c is b {
            /// @notice so here we are
            /// @title i figured it out
            /// @inheritdoc b
            int y;
        }

        abstract contract b {}